| Your search for 31988 returns 2447 document(s) |
| Symbolic game of logic |
|
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Structured digital design including MSI/LSI components and microprocessors/Raymond M. Kline |
|
Author: Kline, Raymond M.; | Call Number: 621.391 Kli S | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and design of digital circuits and computer systems/ Paul M. chirlian |
|
Author: Chirlian, Paul M; | Call Number: 621.381 9 Chi a | 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
|
| 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
|
| Pulse and logic circuits/ Richard L. Castellucis |
|
Author: Castellucis, Richard L.; | Call Number: 621.381 534 Cas p | 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