Search Result
Save to File
Your search for
457
returns
1706
document(s)
Programming with constraints: an introduction/ Kim Marriott
Author: Marriott, Kim; | Call Number: 005.13 Mar p | 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
The mathematics of inheritance systems/ David S. Touretzky
Author: Touretzky, David S.; | Call Number: 006.3 Tou m | 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
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
Logical form in natural language/ William G. Lycan
Author: Lycan, William G.; | Call Number: 412 Lyc i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An introduction to mathematical reasoning/ Boris Iglewicz
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengenalan tulisan tangan latin menggunakan fuzzy artmap
Author: Wiedjaja; | Call Number: T-0803 (Softcopy T-0458) Source Code T-0073 | Edition: 2009 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
16
17
18
19
20
21
22
23
24
25
Next