| Your search for 24812 returns 1195 document(s) |
| 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
|
| 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
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | 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
|
| Introduction to logic |
|
Author: Pospesel, Howard; | Call Number: 511.3 Pos i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Scaum's outline of theory and problems of discrete mathematics |
|
Author: Lipschutz, Seymour; | Call Number: 511.3 Lip s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using computers in mathematics |
|
Author: Elgarten, Gerald H.; | Call Number: 004.015 1 Elg u | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The mathematical theory of optimal processes/ L.S. Pontryagin |
|
Author: Pontryagin, L.S.; | Call Number: 519.6 Pon m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic based decision support: mixed integer model formulation |
|
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result