| Your search for 3970 returns 1352 document(s) |
| An introduction to mathematical reasoning/ Boris Iglewicz |
|
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | 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
|
| User interfaces for symbolic computation: A case study, Hal 1-10 |
|
Author: Norbert Kajler; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The discrepancy method: randomness and complexity |
|
Author: Chazella, Bernard; | Call Number: 512.7 Cha d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Graph theory |
|
Author: Gould, Ronald; | Call Number: 511.5 Gou g | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of Computer Science From Data Manipulation To Theory of Computation/ Benrouz A. Forouzan |
|
Author: Forouzan, Behrouz; | Call Number: 004 For f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the theory of neural computation/John A. Hertz, Richard G. Palmer |
|
Author: Hertz, John A.; | Call Number: 006.3 Her i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automata computability and complexity Theory and applications |
|
Author: Rich, Elaine; | Call Number: 511.3 Ric a | 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