- 5 Results
Lowest price: € 52.82, highest price: € 66.73, average price: € 59.51
1
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
Order
at ZVAB.com
$ 56.97
(aprox. € 52.82)
Shipment: € 35.481
Order
Provider details
Sponsored link
R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - Paperback

1996, ISBN: 3540613986

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

NEW BOOK. Shipping costs: EUR 35.48 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
Order
at ZVAB.com
€ 57.77
Shipment: € 0.001
Order
Provider details
Sponsored link

R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - Paperback

1996, ISBN: 3540613986

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

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
3
Automated Deduction in Equational Logic and Cubic Curves
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Automated Deduction in Equational Logic and Cubic Curves - new book

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… More...

Nr. 978-3-540-61398-5. Shipping costs:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
close (x)
4
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
Order
at Achtung-Buecher.de
€ 66.73
Shipment: € 0.001
Order
Provider details
Sponsored link
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - new book

1996, ISBN: 3540613986

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

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
5
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
Order
at Achtung-Buecher.de
€ 66.73
Shipment: € 0.001
Order
Provider details
Sponsored link
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - new book

1996, ISBN: 3540613986

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

Shipping costs:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Automated Deduction in Equational Logic and Cubic Curves
Author:
Title:
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.

Details of the book - Automated Deduction in Equational Logic and Cubic Curves


EAN (ISBN-13): 9783540613985
ISBN (ISBN-10): 3540613986
Paperback
Publishing year: 1996
Publisher: Springer Berlin Heidelberg
248 Pages
Weight: 0,380 kg
Language: eng/Englisch

Book in our database since 2007-05-27T15:57:52+01:00 (London)
Detail page last modified on 2023-08-14T02:59:20+01:00 (London)
ISBN/EAN: 3540613986

ISBN - alternate spelling:
3-540-61398-6, 978-3-540-61398-5
Alternate spelling and related search-keywords:
Book author: padmanabhan
Book title: deduction, curves, deductio, lecture notes computer science

Information from Publisher

Author: William McCune; R. Padmanabhan
Title: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction in Equational Logic and Cubic Curves
Publisher: Springer; Springer Berlin
238 Pages
Publishing year: 1996-06-12
Berlin; Heidelberg; DE
Language: English
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.

More/other books that might be very similar to this book

Latest similar book:
9783540685227 Automated Deduction in Equational Logic and Cubic Curves (William McCune; R. Padmanabhan)

< to archive...