| Your search for 23918 returns 514 document(s) |
| 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
|
| Computability and logic 2nd ed. |
|
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | 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
|
| Mathematics : a modeling approach/ Marvin L. Bittinger |
|
Author: Bittinger, Marvin L; | Call Number: 510 Bit m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied finite mathematics |
|
Author: Gilbert, Gary G; | Call Number: 510 Gil a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Network and discrete location: models algorithms and applications |
|
Author: Daskin, Mark S; | Call Number: 658.21 Das n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Game playing with computers/ Donald D. Spencer |
|
Author: Spencer, Donald D.; | Call Number: 793.4 Spe G | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multiple criteria decision making/ Milan Zeleny |
|
Author: Zeleny, Milan; | Call Number: 658.403 Zel m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result