| Your search for 24811 returns 1076 document(s) |
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical software/ edited by John R. Rice |
|
Author: Rice, John R.; | Call Number: 511 Ric m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The computer modeling of mathematical reasoning |
|
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory and problems of finite mathematics |
|
Author: Lipschutz, Seymour; | Call Number: 511.3 Lip t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamental methods of mathematical economics |
|
Author: Chiang, Alpha C.; | Call Number: 330.01 Chi f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical rogramming theoryy and algorithms |
|
Author: Minoux, M.; | Call Number: 519.7 Min m | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods of mathematical physics |
|
Author: Courant, R.; | Call Number: 515.35 Cou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of theory and problems of introduction to computer science/ Francis Scheid |
|
Author: Scheid, Francis; | Call Number: 004 Sch s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in computer science: modelling and reasoning about systems |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy reasoning in decision making and optimization/ Christer Carlsson |
|
Author: Carsson, Christer; | Call Number: 511.3 Car f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result