| Your search for 2616 returns 5551 document(s) |
| Why prolog?: justifying logic programming for practical applications |
|
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming and knowledge engineering |
|
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Digital design 2nd ed. |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Essential mathematics for games and interactive applications: a programmers guide 2nd ed./ Jim M. Van Verth; Lars M. Bishop |
|
Author: Verth, Jim M. van; | Call Number: 794.817 11 Ver e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical foundations of programming/ F.S. Beckman |
|
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result