| Your search for 12473 returns 2608 document(s) |
| 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
|
| Cognitive science, computational logic and connection, HAL. 1-7 |
|
Author: Holldoble, Steven; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear logic in computer science |
|
Call Number: 519.72 Lin | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | 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
|
| Engieering, science, and quantum mechanics |
|
Author: Bob Colwell | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in computer science: modelling and reasoning about systems |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | 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
|
Search Result