
1996, ISBN: 3540613986
[EAN: 9783540613985], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE AUTOATEDTHEOREMPROVING; AUTOMAT; AUTOMATISCH… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1996, ISBN: 3540613986
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1996, ISBN: 3540613986
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Geen versendingskosten in Duitsland. (EUR 0.00) Details... |

1996, ISBN: 3540613986
[EAN: 9783540613985], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KüNSTLICHE KI - AI LOGIK PHILOSOPHIE AUTOATEDTHEOREMPROVING AUTOMAT AUTOMATISCHESSCHLIEßEN AUTOMATISCHES… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |

1996, ISBN: 9783540613985
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This monograph is the res… Mehr…
booklooker.de |


1996, ISBN: 3540613986
[EAN: 9783540613985], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE AUTOATEDTHEOREMPROVING; AUTOMAT; AUTOMATISCH… Mehr…
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - neues Buch1996, ISBN: 3540613986
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Mehr…
1996
ISBN: 3540613986
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Grafik… Mehr…

1996, ISBN: 3540613986
[EAN: 9783540613985], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KüNSTLICHE KI - AI LOGIK PHILOSOPHIE AUTOATEDTHEOREMPROVING AUTOMAT AUTOMATISCHESSCHLIEßEN AUTOMATISCHES… Mehr…
1996, ISBN: 9783540613985
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This monograph is the res… Mehr…
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automated Deduction in Equational Logic and Cubic Curves
EAN (ISBN-13): 9783540613985
ISBN (ISBN-10): 3540613986
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin Heidelberg
248 Seiten
Gewicht: 0,380 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-27T16:57:52+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-07-14T22:46:59+02:00 (Berlin)
ISBN/EAN: 3540613986
ISBN - alternative Schreibweisen:
3-540-61398-6, 978-3-540-61398-5
Daten vom Verlag:
Autor/in: William McCune; R. Padmanabhan
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Automated Deduction in Equational Logic and Cubic Curves
Verlag: Springer; Springer Berlin
238 Seiten
Erscheinungsjahr: 1996-06-12
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,790 kg
Sprache: Englisch
64,19 € (DE)
65,99 € (AT)
71,00 CHF (CH)
POD
X, 238 p.
BC; Book; 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; B; Artificial Intelligence; Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Graphics; Mathematical Logic and Foundations; Artificial Intelligence; Compilers and Interpreters; Mathematics of Computing; Formal Languages and Automata Theory; Computer Graphics; Mathematical Logic and Foundations; Computer Science; 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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540685227 Automated Deduction in Equational Logic and Cubic Curves (William McCune; R. Padmanabhan)
< zum Archiv...