Search Result
Save to File
Your search for
8137
returns
3105
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
Discrete computational structures 2nd ed.
Author: Korfhage, Robert R.; | Call Number: 004.61 Kor d | Type: Buku Pusat
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
Author: "Kuester, James L."; | Call Number: 519.7 Kow l | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Integer and combinatorial optimization
Author: Nemhauser, Geoge L.; | Call Number: 519.77 Nem i | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Statistical software : a comparative review / Ivor Francis.
Author: Francis, Ivor; | Call Number: 004.015 1 Fra s | 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 programming/ edited by K.L. Clark and S. A. Tarnlund
Call Number: 005.1 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical theory of program correctness/ Jaco de Bakker
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Methods in Artificial Intelligence
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
18
19
20
21
22
23
24
25
26
27
Next