| Your search for 518 returns 3229 document(s) |
| 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
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh 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
|
| 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
|
| The deductive foundation of computer programming |
|
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer computer scientist |
|
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic game of logic |
|
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computability and logic 2nd ed. |
|
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result