- 5 resultaten
laagste prijs: € 52,82, hoogste prijs: € 66,73, gemiddelde prijs: € 59,51
1
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
bestellen
bij ZVAB.com
$ 56,97
(ongeveer € 52,82)
verzending: € 35,481
bestellen
Details aangeboden
Gesponsorde link
R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - pocketboek

1996, ISBN: 3540613986

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

NEW BOOK. Verzendingskosten: EUR 35.48 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
2
Automated Deduction in Equational Logic and Cubic Curves - R. Padmanabhan
bestellen
bij ZVAB.com
€ 57,77
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

R. Padmanabhan:

Automated Deduction in Equational Logic and Cubic Curves - pocketboek

1996, ISBN: 3540613986

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

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
3
Automated Deduction in Equational Logic and Cubic Curves
bestellen
bij Springer.com
€ 53,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Automated Deduction in Equational Logic and Cubic Curves - nieuw boek

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

Nr. 978-3-540-61398-5. Verzendingskosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
dichtslaan (X)
4
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
bestellen
bij Achtung-Buecher.de
€ 66,73
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - nieuw boek

1996, ISBN: 3540613986

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

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
5
Automated Deduction in Equational Logic and Cubic Curves - Padmanabhan, R.; McCune, William
bestellen
bij Achtung-Buecher.de
€ 66,73
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Padmanabhan, R.; McCune, William:
Automated Deduction in Equational Logic and Cubic Curves - nieuw boek

1996, ISBN: 3540613986

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

Verzendingskosten:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Automated Deduction in Equational Logic and Cubic Curves
auteur:
Titel:
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.

Gedetalleerde informatie over het boek. - Automated Deduction in Equational Logic and Cubic Curves


EAN (ISBN-13): 9783540613985
ISBN (ISBN-10): 3540613986
pocket book
Verschijningsjaar: 1996
Uitgever: Springer Berlin Heidelberg
248 Bladzijden
Gewicht: 0,380 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-05-27T16:57:52+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-14T03:59:20+02:00 (Amsterdam)
ISBN/EAN: 3540613986

ISBN - alternatieve schrijfwijzen:
3-540-61398-6, 978-3-540-61398-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: padmanabhan
Titel van het boek: deduction, curves, deductio, lecture notes computer science

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540685227 Automated Deduction in Equational Logic and Cubic Curves (William McCune; R. Padmanabhan)

< naar Archief...