Your search for 25608 returns 387 document(s) |
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
|
Computabililty and logic 2nd ed. |
Author: Boolos, George; | Call Number: 511.3 Boo c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Probabilistic reasoning in intelligent system: networks of plausible inference revised second printing/ Judea Pearl |
Author: Pearl, Judea; | Call Number: 160 Pea P | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Scientific thinking |
Author: Martin, Robert M.; | Call Number: 161 Mar s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Choosing and using ECL/ Paul L. Matthews |
Author: Matthews, Paul L.; | Call Number: 621.395 Mat c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|