Your search for 9203 returns 2436 document(s) |
Theory of finite automata |
Author: Carrol, John; | Call Number: 511 Car t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematics with graph theory |
Author: Goodaire, Edgar G.; | Call Number: 511 Goo d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theory of computation/Derick Wood |
Author: Wood, Derick; | Call Number: 511.3 Woo t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to logic programming |
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A new introduction to modal logic |
Author: Hughes, G.E.; | Call Number: 160 Hug n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science:Modelling and reasoning about systems 2nd ed. |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modal logic/ Patrick Blackburn |
Author: Blackburn, Patrick; | Call Number: 511.3 Bla m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fuzzy reasoning in decision making and optimization/ Christer Carlsson |
Author: Carsson, Christer; | Call Number: 511.3 Car f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|