Refine your search
Availability
-
Authors
- Aberdein, Andrew
- Andréka, Hajnal
- Artemov, Sergei
- Bajnok, Béla
- Bede, Barnabas
- Bonizzoni, Paola
- Braberman, Víctor
- Brattka, Vasco
- Butler, Steve
- Chatterjee, Krishnendu
- Coecke, Bob
- Cunningham, Daniel W.
- Dalen, Dirk van
- Davis, Martin
- Dediu, Adrian-Horia
- Dove, Ian J.
- Ebbinghaus, Heinz-Dieter
- Ferenczi, Miklós
- Fribourg, Laurent
- SpringerLink (Online service)
- Show more
- Show less
-
Item types
-
Series
- Bolyai Society Mathematical Studies
- Cognitive Technologies
- Developments in Mathematics
- Fundamental Theories of Physics
- Lecture Notes in Computer Science
- Lecture Notes in Mathematics
- Logic, Epistemology, and the Unity of Science
- Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften
- Science Networks. Historical Studies
- Springer Monographs in Mathematics
- SpringerBriefs in Computer Science
- Studies in Fuzziness and Soft Computing
- Studies in Universal Logic
- UNITEXT,
- Undergraduate Texts in Mathematics
- Universitext
- Show more
- Show less
-
Topics
- Algorithm Analysis and Problem Complexity
- Algorithms
- Artificial Intelligence (incl. Robotics)
- Artificial intelligence
- Computation by Abstract Devices
- Computer Science
- Computer logic
- Computer science
- Computers
- Discrete Mathematics in Computer Science
- Game Theory, Economics, Social and Behav. Sciences
- Game theory
- History
- History of Mathematical Sciences
- Logic
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Mathematical logic
- Mathematics
- Show more
- Show less
-
Languages
