| Your search for 612 returns 671 document(s) |
| 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
|
| Logic design and computer organization |
|
Author: Lewin, Morton H.; | Call Number: 621.395 Lew l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result