Your search for 10396 returns 2692 document(s) |
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Digital logic and computer design |
Author: Mano, M. Morris; | Call Number: 621.381 Man d | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Epistemic logic for AI and computer science |
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal logic: its scope and limits |
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal logic: its scope and limits/ Richard Jeffrey |
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Deductive logic and Description language/ Frank R. Harrison III |
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science:Modelling and reasoning about systems 2nd ed. |
Author: Huth, Michael; | Call Number: 005.015 Hut l | 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
|
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
|