Search Result Save to File Save as CSV
Your search for 10836 returns 694 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 
Elements of the theory of computation
Author: Lewis, Harry R.; | Call Number: 511 Lew e | 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 
Predicate calculus and program semantics
Author: Dijkstra, Edger Wybe; | Call Number: 511.3 Dij p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computational complexity
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next