| Your search for 23809 returns 411 document(s) |
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From logic programming to prolog |
|
Author: Apt, Krzysztof R.; | Call Number: 005.133 Apt f | 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
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic designer's manual |
|
Author: Lenk, John D.; | Call Number: 621.395 Len l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer logic |
|
Author: Hutchison, David; | Call Number: 621.395 Hut F | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers |
|
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550 |
|
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier |
|
Call Number: 006.35 Nat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result