Erscheinungsjahr
Fach
Sprache
1–19 von 19 Ergebnissen
Sortieren:
Sortieren:
-
“Life” Magazine and the Power of Photography, edited by Katherine A. Bussard and Kristen Gresh
Taylor & Francis Verlag | 2021| -
Cathoristic Logic
A Logic for Capturing Inferences Between Atomic SentencesSpringer Verlag | 2020| -
Process Types as a Descriptive Tool for Interaction
Control and the Pi-CalculusSpringer Verlag | 2014| -
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
Springer Verlag | 2008| -
Logical Reasoning for Higher-Order Functions with Local State
Freier ZugriffSpringer Verlag | 2007|
- ««
- «
- 1
- »»
Treffer pro Seite