Liknande böcker

Logics in Artificial Intelligence
Bok av Manuel Ojeda-Aciego
Case-Based Reasoning Research and Development: 4th International Confere...
Bok av David W. Aha
Automated Reasoning: First International Joint Conference, IJCAR 2001 Si...
Bok av Tobias Nipkow
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Modeling and Using Context: Second International and Interdisciplinary C...
Bok av Paolo Bouquet
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annua...
Bok av Laurent Fribourg
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dubl...
Bok av Barry Smyth

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Bok av Roy Dyckhoff
2 utgåvor
Välj utgåva
Alla
Visa alla 2 utgåvor
Automated Reasoning with Analytic Tableaux and Related Methods : Interna...Engelska - Pocket
ISBN: 9783540676973
Automated Reasoning with Analytic Tableaux and Related Methods : Interna...Engelska - E-bok
ISBN: 9783540450085
Visa pris inkl. frakt Inkl. frakt
Bokus
1149 kr fri frakt
Finns i lager
Till butik
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
1149 kr
Finns i lager
Adlibris
1223 kr fri frakt
Finns i lager
Till butik
Automated Reasoning with Analytic Tableaux and Related Methods
1223 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?