Symbolic Logic and Mechanical Theorem Proving /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Chang, Ching-Liang (autor)
Diğer Yazarlar:	Lee, Richard Char-Tung (autor) (autor)
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

İlk yorumlayan siz olun!

Benzer Materyaller