Your search for 24322 returns 1740 document(s) |
Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers |
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to probability and inductive logic/ Ian Hacking |
Author: Hacking, Ian; | Call Number: 160 Hac 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
|
Mathematical logic for computer science second edition |
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
Author: Cori, Rene; | Call Number: 511.3 Cor m | 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
|
Introductory logic and sets for computer scientist |
Author: Nissanke, Nimal; | Call Number: 004.015 Nis i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Recursive programming techniques/ William R. Burge |
Author: Burge, William H.; | Call Number: 005.13 Bur i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Komputabilitas/Heru Suhartanto |
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|