Logics and Type Systems in Theory and Practice

Wo zu kaufen (2) Eigenschaften
Gesponsert
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (Lecture Notes in Computer Science, 14560, Band 14560)
Medimops DE
130.64 EUR
Preis aktualisiert am: 13-05-2026 15:49:13
Siehe Produktangebot
Gesponsert
Logics and Type Systems in Theory and Practice
SpringerLink DE
139.09 EUR
Preis aktualisiert am: 13-05-2026 14:23:07
Siehe Produktangebot

Allgemein

Marke
Springer Nature Switzerland

Eigenschaften

Ähnliche Produkte

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Produkt anzeigen
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Produkt anzeigen
Proto-Algorithmic War: How the Iraq War became a laboratory for algorithmic logics (Social and Cultural Studies of Robots and AI)
Proto-Algorithmic War: How the Iraq War became a laboratory for algorithmic logics (Social and Cultural Studies of Robots and AI)
Produkt anzeigen
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Lecture Notes in Computer Science, Band 9560)
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Lecture Notes in Computer Science, Band 9560)
Produkt anzeigen
St¿pka, Maciej: Identifying Security Logics in the EU Policy Discourse
St¿pka, Maciej: Identifying Security Logics in the EU Policy Discourse
Produkt anzeigen
Dick de Jongh on Intuitionistic and Provability Logics
Dick de Jongh on Intuitionistic and Provability Logics
Produkt anzeigen
Menü