Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Englisch 17.10.2017 Taschenbuch vergriffen
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications Englisch 30.10.2014 Taschenbuch vergriffen
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Englisch 21.10.2010 Taschenbuch vergriffen
Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics Englisch 04.11.2015 Fester Einband vergriffen
Anna Horská - Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Anna Horská Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals Englisch 06.11.2013 Taschenbuch vergriffen
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Englisch 25.11.2010 Taschenbuch vergriffen