| Your search for 5593 returns 927 document(s) |
| 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
|
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science second edition |
|
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pyramid Algorithms: A dynamic programming approach to curves and surfaces for geometric modelling |
|
Author: Goldman, Ron; | Call Number: 511.8 Gol p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimization/ edited by R. Fletcher |
|
Call Number: 519.3 Sym o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic-based methods for optimization: combining optimization and constraint satisfaction/ John Hooker |
|
Author: Hooker, John; | Call Number: 519.72 Hoo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Business intelligence: data mining and optimization for decision making |
|
Author: Vercellis, Carlo; | Call Number: 658.403 8 Ver b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multiobjective making: theory and methodology vol. 1/ Vira Chankong |
|
Author: Chankong, Vira; | Call Number: 003.56 Cha m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result