Automated Deduction - CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
E-bok
PDF, Engelska, 2009708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Ein Mann ist keine Altersvorsorge - Warum finanzielle Unabhängigkeit für Frauen so wichtig ist
Helma Sick, Renate Schmidt
Häftad, 2019
123 kr
Frontiers of Combining Systems
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
Häftad, 2013
566 kr
Del 9
Reasoning Web. Semantic Technologies for Information Systems
Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate Schmidt
Häftad, 2009
554 kr
Reasoning Web. Semantic Technologies for Information Systems
Renate Schmidt, Marie- Christine Rousset, Siegfried Handschuh, Claudio Gutierrez, Thomas Eiter, Enrico Franconi, Sergio Tessaris
E-bok
2009708 kr