Your search for 14056 returns 6651 document(s) |
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
|
Logic proof, and sets/ Marvn L. Bittinger |
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | 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
|
Probabilistic reasoning in intelligent system: networks of plausible inference revised second printing/ Judea Pearl |
Author: Pearl, Judea; | Call Number: 160 Pea P | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
Author: Michael Kifer
Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to probability and inductive logic/ Ian Hacking |
Author: Hacking, Ian; | Call Number: 160 Hac i | 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
|
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to mathematical reasoning/ Boris Iglewicz |
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|