Automated Deduction in Equational Logic and Cubic Curves - neues Buch
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... |
Automated Deduction in Equational Logic and Cubic Curves - neues Buch
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... |
Automated Deduction in Equational Logic and Cubic Curves - neues Buch
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... |
Automated Deduction in Equational Logic and Cubic Curves - neues Buch
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…
Automated Deduction in Equational Logic and Cubic Curves - neues Buch
ISBN: 9783540685227
Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematics of Computing; Mathematical Logic and Formal Languages; Computer Gra… Mehr…
Automated Deduction in Equational Logic and Cubic Curves - neues Buch
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
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...