| Your search for 25804 returns 2260 document(s) |
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | 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
|
| 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
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | 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
|
| Understanding scientific reasoning/Ronald N. Giere |
|
Author: Giere, Ronald N.; | Call Number: 501.8 Gie u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of potential theory/ by Oliver Dimon Kellogg |
|
Author: Kellogg, Oliver Dimon; | Call Number: 515.7 Kel f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications second edition: graduate texts in computer science |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Induction, recursion, and programming/ Mitchell Wand/ Mitchell Wand |
|
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result