| Your search for 24362 returns 608 document(s) |
| Computability and logic 2nd ed. |
|
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | 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
|
| 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
|
| Designing with programmable array logic/ The technical staff of monolithic memories Inc. |
|
Author: Technical staff of monolithic memories; | Call Number: 004.35 Tec d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing with logic: logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introductory logic and sets for computer scientist |
|
Author: Nissanke, Nimal; | Call Number: 004.015 Nis i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic techniques: principles and practices |
|
Author: Stonham, C.J.; | Call Number: 621.381 Sto d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Mathematical introduction to logic/ Herbert B. Enderton |
|
Author: Enderton, Herbert B.; | Call Number: 511.3 End m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result