| Your search for 5238 returns 1733 document(s) |
| A Deduction model of belief/ Kurt Konolige |
|
Author: Konolig, Kurt; | Call Number: 306.42 Kon d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A deduction model of belief |
|
Author: Konolige, Kurt; | Call Number: 006.3 Kon d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The mathematics of inheritance systems/ David S. Touretzky |
|
Author: Touretzky, David S.; | Call Number: 006.3 Tou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural deduction: a proof-theoretical study/ Da Prawitz |
|
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural language understanding/James Allen |
|
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Metodologi klasifikasi citra, fusi data dan deteksi perubahan wilayah berdasarkan probabilistic neural network model multinomial optimal |
|
Author: Wawan Setiawan; | Call Number: DIS-007 (Softcopy DIS-002) Source Code Dis-001 | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result