Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)

Formation in Pure Mathematics
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Theory Formation in Pure Mathematics: Diss. (Distinguished Dissertations)
Medimops DE
106.99 EUR
Preis aktualisiert am: 16-09-2026 05:10:28
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)
Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)
Produkt anzeigen
Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Produkt anzeigen
Text Mining: From Ontology Learning to Automated Text Processing Applications (Theory and Applications of Natural Language Processing)
Text Mining: From Ontology Learning to Automated Text Processing Applications (Theory and Applications of Natural Language Processing)
Produkt anzeigen
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Produkt anzeigen
Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected ... Notes in Computer Science, 3616, Band 3616)
Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected ... Notes in Computer Science, 3616, Band 3616)
Produkt anzeigen
Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers (Lecture Notes in Computer Science, 2079, Band 2079)
Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers (Lecture Notes in Computer Science, 2079, Band 2079)
Produkt anzeigen
Menü