- 5 Risultati
prezzo più basso: € 52,82, prezzo più alto: € 66,73, prezzo medio: € 59,51
1
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
Ordina
da ZVAB.com
$ 56,97
(indicativi € 52,82)
Spedizione: € 35,481
Ordina
Dettagli del offerente
Link sponsorizzato
R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - edizione con copertina flessibile

1996, ISBN: 3540613986

[EAN: 9783540613985], Neubuch, [SC: 35.48], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE AUTOATEDTHEOREMPROVING; AUTOMAT; AUTOMATIS… Altro …

NEW BOOK. Costi di spedizione: EUR 35.48 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
Ordina
da ZVAB.com
€ 57,77
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - edizione con copertina flessibile

1996, ISBN: 3540613986

[EAN: 9783540613985], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE AUTOATEDTHEOREMPROVING; AUTOMAT; AUTOMATISCH… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
3
Automated Deduction in Equational Logic and Cubic Curves
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Automated Deduction in Equational Logic and Cubic Curves - nuovo libro

ISBN: 9783540613985

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in emp… Altro …

Nr. 978-3-540-61398-5. Costi di spedizione:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
Chiudere (X)
4
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
Ordina
da Achtung-Buecher.de
€ 66,73
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - nuovo libro

1996, ISBN: 3540613986

1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
Ordina
da Achtung-Buecher.de
€ 66,73
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - nuovo libro

1996, ISBN: 3540613986

1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Altro …

Costi di spedizione:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Automated Deduction in Equational Logic and Cubic Curves
Autore:
Titolo:
ISBN:

3540613986


This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Informazioni dettagliate del libro - Automated Deduction in Equational Logic and Cubic Curves


EAN (ISBN-13): 9783540613985
ISBN (ISBN-10): 3540613986
Copertina flessibile
Anno di pubblicazione: 1996
Editore: Springer Berlin Heidelberg
248 Pagine
Peso: 0,380 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-27T16:57:52+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-08-14T03:59:20+02:00 (Zurich)
ISBN/EAN: 3540613986

ISBN - Stili di scrittura alternativi:
3-540-61398-6, 978-3-540-61398-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : padmanabhan
Titolo del libro: deduction, curves, deductio, lecture notes computer science

Dati dell'editore

Autore: William McCune; R. Padmanabhan
Titolo: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction in Equational Logic and Cubic Curves
Editore: Springer; Springer Berlin
238 Pagine
Anno di pubblicazione: 1996-06-12
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 238 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Autoated Theorem Proving; Automat; Automatisches Schließen; Automatisches Theorembeweisen; Cubic Curves; Equatgional Logic; Equational Logik; Kubische Kurven; Universal Algebra; Universelles Algebra; automated deduction; automated theorem proving; logic; proving; theorem proving; Artificial Intelligence; Compilers and Interpreters; Mathematics of Computing; Formal Languages and Automata Theory; Computer Graphics; Mathematical Logic and Foundations; Compiler und Übersetzer; Mathematik für Informatiker; Theoretische Informatik; Grafikprogrammierung; Mathematik: Logik; Mathematische Grundlagen; EA

Otter and MACE.- Algebras over algebraic curves.- Other (gL)-algebras.- Semigroups.- Lattice-like algebras.- Independent self-dual bases.- Miscellaneous topics.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540685227 Automated Deduction in Equational Logic and Cubic Curves (William McCune; R. Padmanabhan)

< Per archiviare...