Search Result
Save to File
Your search for
10396
returns
2698
document(s)
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 based decision support: mixed integer model formulation
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | 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
Clausal form logic
Author: Richards, Tom; | Call Number: 006.3 Ric c | 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
Natural deduction: a proof-theoretical study/ Da Prawitz
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical logic
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next