| Your search for 25691 returns 3644 document(s) |
| Logic and data bases/edied by Herber Gallaire |
|
Call Number: 005.74 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data base systems: proceedings 5th Informatik symposium, IBM Gemany, Bad Homburg v.d. H. Setptember 24-26, 1975 |
|
Call Number: 005.74 Inf | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer computer scientist |
|
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic game of logic |
|
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Mathematical introduction to logic/ Herbert B. Enderton |
|
Author: Enderton, Herbert B.; | Call Number: 511.3 End 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
|
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result