| Your search for 27058 returns 4602 document(s) |
| Computability and logic 2nd ed. |
|
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and its Applications/ Edmund Burke and Eric Foxley |
|
Author: Burke, Edmund; | Call Number: 511.3 Bur i | 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
|
| 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
|
| Software testing techniques/ Boris Beizer |
|
Author: Beizer, Boris; | Call Number: 005.3 Bei s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured testing/ Thomas J. McCabe |
|
Author: McCabe, Thomas J.; | Call Number: 005.74 McC s | 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
|
| Descriptive complexity/Neil Immerman |
|
Author: Immerman, Neil; | Call Number: 511.3 Imm d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to logic |
|
Author: Pospesel, Howard; | Call Number: 511.3 Pos i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming and knowledge engineering |
|
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result