| Your search for 47378 returns 517 document(s) |
| The lamda calculus :studies in logic and the foundations of mathematics |
|
Author: Barendregt, H.P; | Call Number: 511.3 Bar L | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of Computing: System Development with Set Theory and Logic/ Thierry Scheeurer |
|
Author: Scheurer, Thierry; | Call Number: 004.21 Sch f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of databases |
|
Author: Abiteboul, Serge; | Call Number: 005.74 Abi f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logical foundations of artificial intelligence |
|
Author: Genesereth, Michael; | Call Number: 006.3 Gen l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of computer technology |
|
Author: Giarratano, Joseph C.; | Call Number: 004 Gia f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: foundations & applications |
|
Author: Winston, Patrick Henry; | Call Number: 006.3 Win a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of computer science c edition |
|
Author: Aho, Alfred; | Call Number: 004. Aho f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of computer science c edition |
|
Author: Aho, Alfred V.; | Call Number: 004 Aho f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of database: the logical level |
|
Author: Abiteboul, Serge; | Call Number: 005.74 Abi f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result