| Your search for 10707 returns 842 document(s) |
| Logic machines & diagrams/ Martin Gardner |
|
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: 33 basic research problems/Larry Wos |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing intelligent front end for business software/Dan Shafer |
|
Author: Shafer, Dan; | Call Number: 650.028 Sha d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent tutoring systems: lessons learned/edited by Joseph Psotka, L. Dam Massey |
|
Call Number: 335.007 073 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Probabililty and statistics with reliability, queuing and computer science applications 2nd ed. |
|
Author: Trivedi, Kishor Shridharbhai; | Call Number: 519.2 Tri p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Probabililty and statistics with reliability, queuing and computer science applications |
|
Author: Trivedi, Kishor Shridharbhai; | Call Number: 519.2 Tri p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to logic programming |
|
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new introduction to modal logic |
|
Author: Hughes, G.E.; | Call Number: 160 Hug n | 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
|
| Modal logic/ Patrick Blackburn |
|
Author: Blackburn, Patrick; | Call Number: 511.3 Bla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result