Your search for 51952 returns 1366 document(s) |
MULTIPLE-VALUED LOGIC: PROCEEDINGS |
Author: International Symposium on Multiple-Valued logic, 8th Rosemont, I11, 1978; | Call Number: 511.3 Int m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic game of logic |
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computability and logic 2nd ed. |
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic for computer science |
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic , Automata, and Algorithms |
Author: Aiserman, Mark, A.; | Call Number: 511.3 Ais i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
C-Logic of Complex Obejcts (369-378) |
Author: Weidong Chen
David S. Warren; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Object-oriented database |
Author: Khoshafian, Setrag; | Call Number: 005.1 Kho o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Practical object-oriented design |
Author: Priestley, Mark; | Call Number: 005.1 Pri p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|