ISBN: 9786130767396 - automated theorem proving: automated reasoning, mathematical proof, agda (theorem prover), mathematical theorem, computer program, symbolic ... proof complexity, first- order resolution (3 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (3)

  • Nuevo (3)
Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Omniscriptum Mär 2026, 2026

    6130767390 / 9786130767396

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 116,00

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 68 pp. Englisch.

  • Idioma: Inglés

    Editorial: Omniscriptum, 2010

    6130767390 / 9786130767396

    • Tapa blanda
    • Impresión bajo demanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 123,17

    Envío por EUR 35,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online.Automated theoremproving (ATP) or automated deduction, currently the most well-developedsubfield of automated reasoning (AR), is the proving of mathematicaltheorems by a computer program.…

  • Idioma: Inglés

    Editorial: Omniscriptum Mär 2026, 2026

    6130767390 / 9786130767396

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 116,00

    Envío por EUR 60,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online.Automated theoremproving (ATP) or automated deduction, currently the most well-developedsubfield of automated reasoning (AR), is the proving of mathematicaltheorems by a computer program.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 68 pp. Englisch.…