| Your search for 36329 returns 476 document(s) |
| Choosing and using ECL |
|
Call Number: 621.381 Mat c | Type: Buku Pusat
|
|
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
|
| 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
|
Search Result