| Your search for 9543 returns 592 document(s) |
| Descriptive complexity/Neil Immerman |
|
Author: Immerman, Neil; | Call Number: 511.3 Imm d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
|
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to probability and inductive logic/ Ian Hacking |
|
Author: Hacking, Ian; | Call Number: 160 Hac i | 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
|
| Introduction to logic programming |
|
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel logic programming in PARLOG |
|
Author: Gregory, Steve; | Call Number: 005.133 Gre p | 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
|
Search Result