Liknande böcker

Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov
Logic programming and automated reasoning
Bok av Frank Pfenning
Automated Reasoning: First International Joint Conference, IJCAR 2001 Si...
Bok av Tobias Nipkow
Machine Learning: ECML 2003: 14th European Conference on Machine Learning
Bok av Ljupčo Todorovski
Machine Learning: ECML 2005 : 16th European Conference on Machine Learni...
Bok av João. Gama
Algorithmic learning theory : proceedings
Bok av Klaus P Jantke
Algorithmic Learning Theory - ALT '92 : Third Workshop, ALT '92, Tokyo,...
Bok av Shuji Doshita
Knowledge representation and reasoning under uncertainty : logic at work
Bok av Michael Masuch

Automated Theorem Proving : After 25 Years

Bok av W W Bledsoe