| Your search for 10836 returns 694 document(s) |
| 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
|
| 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
|
| Komputabilitas/Heru Suhartanto |
|
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematics for computer science/Arnold and I. Guessarian |
|
Author: Arnol, A.; | Call Number: 511.32 Arn m | 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
|
| Introduction to logic programming |
|
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications second edition: graduate texts in computer science |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The mathematics of inheritance systems/ David S. Touretzky |
|
Author: Touretzky, David S.; | Call Number: 006.3 Tou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result