| Your search for 9543 returns 592 document(s) |
| Mathematical principles of fuzzy logic/Vilem Novak, Iriana Perfilieva and Jiri Mockor |
|
Author: Novak, Vilem; | Call Number: 511.3 Nov m | 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
|
| 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
|
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | 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 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 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
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | 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
|
| Mathematical software/ edited by John R. Rice |
|
Author: Rice, John R.; | Call Number: 511 Ric m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result