Yazar
Larry Wos
10 cilt bulundu.
Larry Wos · World Scientific Publishing Co Pte Ltd
1620 sayfa · 2000
Artificial intelligence / Automatic theorem proving / Reasoning / Puzzles
Larry Wos · McGraw-Hill
656 sayfa · 1992
Computer programming / Artificial intelligence / Automatic theorem proving
Larry Wos · Academic Press
443 sayfa · 1996
Artificial intelligence / Automatic theorem proving / Computer programming / Otter (Computer file) / Electronic digital computers, programming
Larry Wos · Prentice-Hall
482 sayfa · 1984
Démonstration automatique / Théorèmes / Kunstmatige intelligentie / Programmation (Informatique) / Computer programming
Larry Wos, Gail W. Pieper · World Scientific
587 sayfa · 1999
Automatic theorem proving / Knowledge-based systems / expert systems / Applied / Applied Mathematics / Mathematics
Larry Wos, Robert Veroff, Gail W. Pieper · MIT Press
252 sayfa · 1997
Automatic theorem proving / Artificial intelligence
Larry Wos, Gail W. Pieper · World Scientific Publishing Co Pte Ltd
Sayfa sayısı yok · 2000
Kategori yok
Gail W. Pieper, Larry Wos · World Scientific Publishing Co Pte Ltd
Sayfa sayısı yok · 1999
Kategori yok
Larry Wos, Gail W. Pieper · Ave Maria Press
384 sayfa · 2003
Applied / Logic / Mathematics / Science/Mathematics