Refine your search
Availability
-
Authors
- Alves-Foss, James
- Callaghan, Paul
- Clote, Peter G.
- Eijck, Jan van
- Galmiche, Didier
- Luo, Zhaohui
- McKinna, James
- Moggi, Eugenio
- Nielsen, Mogens
- Pollack, Robert
- Raymond, Darrell
- Rosolini, Giuseppe
- Schubert, E. Thomas
- Schwichtenberg, Helm...
- Thomas, Wolfgang
- Windley, Phillip J.
- Wood, Derick
- Yu, Sheng
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Compilers (Computer ...
- Compilers and Interp...
- Computer science
- Computer Science Log...
- Computer System Impl...
- Computer systems
- Electronics
- Electronics and Micr...
- Formal Languages and...
- K-Theory
- K-theory
- Logic design
- Logic Design
- Machine theory
- Mathematical logic
- Mathematical Logic a...
- Natural Language Pro...
- Theory of Computatio...
- Show more
- Show less