Search Result Save to File Save as CSV
Your search for 6257 returns 1570 document(s)
Clausal form logic: an introduction to the logic of computer reasoning
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Embedding lax logic into intuitionistic logic, Hal. 78-93
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Logic programming and knowledge engineering
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Call Number: 6(2005): 4 | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
CMOS logic databook
Call Number: 621.397 32 CMO | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic, automata algorithms
Author: Aiserman, Mark A.; | Call Number: 511.3 Ais l | 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 
Digital/logic electronic handbook
Author: Hunter, William L.; | Call Number: R. 621.381 5 Hun d | Type: Buku Referensi
Find Similar |  Add To Favorites |  Detail in New Window 
Introduction to logic programming
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Data processing logic
Author: Saret, Laura; | Call Number: 005.120 Sar d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next