Refine your search
Availability
-
Authors
- Calude, Cristian S. (1)
- Nguyen, Ngoc Thanh (1)
- Penrose, Roger (1)
- Rozenberg, Grzegorz (1)
- Salomaa, Arto (1)
-
Item types
-
Locations
- Online (2)
-
Series
-
Topics
- Artificial intellige... (4)
- Computational intell... (1)
- Computer Science and... (2)
- Computer science and... (1)
- Computer-aided softw... (1)
- Digital electronic (1)
- Formal methods (Comp... (1)
- Godel's theorem (1)
- Information theory (1)
- Logic design (1)
- Physics-Philosophy (1)
- Quantum theory (1)
- Show more
- Show less