Your search for 10396 returns 2698 document(s) |
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 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
|
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
|
Descriptive complexity/Neil Immerman |
Author: Immerman, Neil; | Call Number: 511.3 Imm d | 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 2nd ed. |
Author: Nerode, Anil; | Call Number: 005.1 Ner l | 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
|
Logic programming/ edited by K.L. Clark and S. A. Tarnlund |
Call Number: 005.1 Log | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Deduction systems/Rolf Socher-Ambrosius |
Author: Socher-Ambrosius, Rolf; | Call Number: 511.3 Soc d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|