| Your search for 25804 returns 2248 document(s) |
| Foundations of inductive reasoning/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Entropy minimax sourcebook vol. iv/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 536.73 Chr e | 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
|
| Mathematical foundations of programming/ F.S. Beckman |
|
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | Type: Buku
|
|
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
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Belief and behavior/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 306 Chr b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | 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
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result