| Your search for 3071 returns 381 document(s) |
| 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
|
| Logic and data bases/edied by Herber Gallaire |
|
Call Number: 005.74 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of inductive reasoning/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | 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
|
| Mathematical logic |
|
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
|
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
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical foundations of programming/ F.S. Beckman |
|
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | 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
|
Search Result