| Your search for 6257 returns 1570 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
|
| Microprocessors & Microcomputer : Selected reprints from COMPUTER revised 1979 2nd edition |
|
Author: edited IEEE Computer Society; | Call Number: 001.640 4 Mic | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputers / microprocessors: hardware, software, and applications/ John L. Hilburn; Paul M. Julich |
|
Author: Hilburn, John L.; | Call Number: 004.16 Hil m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science; Orthologic and Quantum Logic: Models and Computational Elements |
|
Author: J. P. Rawling, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science: Existential Second-Order Logic Over Strings |
|
Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result