| Your search for 24854 returns 753 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
|
| 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
|
| Probability and statistical inference 5th ed. |
|
Author: Hogg, Robert V.; | Call Number: 519.2 Hog p | 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
|
| Komputabilitas/Heru Suhartanto |
|
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introducing real analysis/ D.H. Fowler |
|
Author: Fowler, D.H.; | Call Number: 511.33 Fow i | Edition: 1996 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The traveling salesman problem/ E.L. Lawler |
|
Author: Lawler, E.L.; | Call Number: 511.6 Tra | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inequalities |
|
Author: Beckenbach, Edwin F.; | Call Number: 515 Bec i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advanced engineering mathematics/ Erwin Kreyszig |
|
Author: Kreyszig, Erwin; | Call Number: 515 Kre a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result