Your search for 54271 returns 2293 document(s) |
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
|
Mathematical logic |
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theory and problems of finite mathematics |
Author: Lipschutz, Seymour; | Call Number: 511.3 Lip t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Manual of logic circuits/ Gelard A.Maley |
Author: Maley, Gerald D.; | Call Number: 621.395 Mal m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software blueprint and examples/ Yaohan Chu |
Author: Chu Yaohan; | Call Number: 005.1 Chu s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming: semantic program development |
Author: Deville, Yves; | Call Number: 005.1 Dev l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|