Search Result Save to File Save as CSV
Your search for 36708 returns 301 document(s)
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic design projects using standard integrated circuits
Author: Wakerly, John F.; | Call Number: 621.391 Wak i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Selected problems of minization of variable-valued logic formulas
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symobolic logic 5th ed/ Irving M. Copi
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic and computer design fundamentals 4th ed.
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Lightweught Functional Logic Meta-Programming (225-243)
Author: Nada Amin William E.Byrd Tiark Rompf; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   10 11 12 13 14 15 16 17 18 19  Next