Your search for 26197 returns 845 document(s) |
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
|
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
|
Computational complexity |
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | 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
|
Boolean semantics for natural language |
Author: Keenan, Edward L.; | Call Number: 160 Kee b | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|