| Your search for 25608 returns 387 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
|
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
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
|
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | 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
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Machine translation: its scope and limits |
|
Author: Wilks, Yorick; | Call Number: 418.02 Wil m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural deduction: a proof-theoretical study/ Da Prawitz |
|
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic machines & diagrams/ Martin Gardner |
|
Author: Gardner, Martin; | Call Number: 621.395 Gar 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
|
Search Result