| Your search for 23918 returns 514 document(s) |
| Selected problems of minization of variable-valued logic formulas |
|
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real analysis: an introductory course |
|
Author: Giles; | Call Number: 511.33 Gil r | Edition: 1996 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical Modelling In Aducation Research And Practice |
|
Author: Stillman, Gloria Ann,
Blum, Werner; Salett Biembengut, Maria; | Call Number: 370 Sti m | 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
|
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis of drum and disk storage units/ Samuel H. Fuller |
|
Author: Fuller, Samuel H.; | Call Number: 511.8 Ful a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Input-output analysis and the structure of income distribution: lecture notes in conomics and mathematical sysems(No. 116)/ K. Miyazawa |
|
Author: Miyazawa, K.; | Call Number: 339.23 Miy i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combinatorial programming, spatial analsyis and planning/ Allen J. Scott |
|
Author: Scott, Allen J.; | Call Number: 519.3 Sco c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical models and finite elements for reservoir simulation |
|
Author: Chavent, Guy; | Call Number: 622.188 2 Cha m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result