Refine your search
Availability
-
Authors
- Arlo-Costa, Horacio (1)
- Burris, Stanley (1)
- Christopher C. Leary (1)
- De Swart, Harrie (1)
- Fant, Karl M. (1)
- Gustafsson, Johan E. (1)
- Harold J. Rood (1)
- Hendricks, Vincent F. (1)
- Kossak, Roman (1)
- Lewis, Harry R. (1)
- Papadimitriou, Christos H. (1)
- Prest, Mike (1)
- Richard Waldinger (1)
- Rosen, Kenneth H. (1)
- Zohar Manna (1)
- van Benthem, Johan (1)
- Show more
- Show less
-
Item types
- E-Book (4)
- General Book (8)
-
Locations
-
Series
-
Topics
- ASYNCHRONOUS CIRCUITS (1)
- COMPUTATIONAL COMPLEXITY. (1)
- COMPUTER ARCHITECTURE (1)
- COMPUTER LOGIC (1)
- COMPUTER PROGRAMMING (1)
- COMPUTER SCIENCE (1)
- Categories (Mathematics) (1)
- DECISION MAKING (1)
- DESIGN AND CONSTRUCTION (1)
- EPISTEMOLOGY (1)
- FORMAL LANGUAGES. (1)
- GAME THEORY (1)
- KNOWLEDGE, THEORY OF (1)
- LOGIC (1)
- LOGIC DESIGN (1)
- LOGIC, SYMBOLIC AND MATHEMATICAL (12)
- MACHINE THEORY. (1)
- MATHEMATICS (2)
- PHILOSOPHY (1)
- PRACTICAL REASON (1)
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages
- English (9)