ISBN: 9783540685227
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… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685227
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… Mehr…
Springer.com Nr. 978-3-540-68522-7. Versandkosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
ISBN: 9783540685227
Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Gra… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540685227
Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Gra… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685227
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… Mehr…
ISBN: 9783540685227
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… Mehr…
ISBN: 9783540685227
Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Gra… Mehr…
ISBN: 9783540685227
Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Gra… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automated Deduction in Equational Logic and Cubic Curves
EAN (ISBN-13): 9783540685227
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-08-14T03:59:20+02:00 (Zurich)
ISBN/EAN: 9783540685227
ISBN - alternative Schreibweisen:
978-3-540-68522-7
Daten vom Verlag:
Autor/in: William McCune; R. Padmanabhan
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction in Equational Logic and Cubic Curves
Verlag: Springer; Springer Berlin
238 Seiten
Erscheinungsjahr: 2005-07-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 238 p.
EA; E107; eBook; Nonbooks, PBS / 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; 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; BC
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:
9783540613985 Automated Deduction in Equational Logic and Cubic Curves (R. Padmanabhan)
< zum Archiv...