Handbook of automated reasoning
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representationDeductive databases
Browse all genres - ISBN
- 9780444508133
Handbook of automated reasoning, J. A. Robinson tarafından yazılmış bir qualitative reasoning, automatic theorem proving book.
J. A. Robinson tarafından yazılan Handbook of automated reasoning kitabını keşfedin, qualitative reasoning.
Yazar Hakkında
J. A. Robinson Handbook of automated reasoning kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
Handbook of automated reasoning hangi türde?+
Handbook of automated reasoning bir Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation, Deductive databases kitabıdır.
Handbook of automated reasoning kitabını kim yazdı?+
Handbook of automated reasoning, J. A. Robinson tarafından yazılmıştır.