Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)

Wo zu kaufen (4) Eigenschaften
Gesponsert
Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)
Medimops DE
101.64 EUR
Preis aktualisiert am: 20-09-2026 07:23:12
Siehe Produktangebot
Gesponsert
Automated Theory Formation in Pure Mathematics
Hugendubel
106.99 EUR
Preis aktualisiert am: 20-09-2026 06:52:57
Siehe Produktangebot
Gesponsert
Automated Theory Formation in Pure Mathematics, Fachbücher von Simon Colton
Galaxus.de
106.99 EUR
Preis aktualisiert am: 17-09-2026 19:23:03
Siehe Produktangebot
Gesponsert
Automated Theory Formation in Pure Mathematics
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 21-09-2026 02:48:56
Siehe Produktangebot

Allgemein

Marke
Simon Colton
ISBN
Simon Colton 1447111133

Eigenschaften

Ähnliche Produkte

Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)
Produkt anzeigen
Practice and Theory of Automated Timetabling IV: 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers ... Notes in Computer Science, 2740, Band 2740)
Practice and Theory of Automated Timetabling IV: 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers ... Notes in Computer Science, 2740, Band 2740)
Produkt anzeigen
Practice and Theory of Automated Timetabling II: Second International Conference, PATAT'97, Toronto, Canada, August 20
Practice and Theory of Automated Timetabling II: Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers (Lecture Notes in Computer Science, 1408, Band 1408)
Produkt anzeigen
Practice and Theory of Automated Timetabling
Practice and Theory of Automated Timetabling
Produkt anzeigen
Automated Theory Formation in Pure Mathematics
Automated Theory Formation in Pure Mathematics
Produkt anzeigen
Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)
Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)
Produkt anzeigen
Menü