Search Result
Save to File
Your search for
9203
returns
2436
document(s)
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
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
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
Logic and data bases/edied by Herber Gallaire
Call Number: 005.74 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Foundations of inductive reasoning/ Ronald Christensen
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The mathematical theory of optimal processes/ L.S. Pontryagin
Author: Pontryagin, L.S.; | Call Number: 519.6 Pon m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Clausal form logic
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical optimization and economic theory/ Michael D. Intrilligator
Author: Intriligator, Michael D.; | Call Number: 330.154 3 Int m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next