Search Result Save to File Save as CSV
Your search for 36708 returns 301 document(s)
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 
Introduction to logic
Author: Pospesel, Howard; | Call Number: 511.3 Pos i | 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 
The logic of programming
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic programming
Call Number: 005.115 Log | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computing logic with logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
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 
A Logic for Object-Oriented Logic Programming (Maier's O-Logic: Revisited) (379-393)
Author: Michel Kifer James Wu; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next