Cover Image

QR Code

Advances in Proof-Theoretic Semantics.

Bibliographic Details
Main Author:	Piecha, Thomas.
Other Authors:	Schroeder-Heister, Peter.
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing AG, 2015.
Edition:	1st ed.
Series:	Trends in Logic Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

Nuel Belnap on Indeterminism and Free Action.
by: Müller, Thomas.
Published: (2014)

Inquisitive Logic : Consequence and Inference in the Realm of Questions.
by: Ciardelli, Ivano.
Published: (2023)

The Logical Writings of Karl Popper.
by: Binder, David.
Published: (2022)

Vector Semantics.
by: Kornai, András.
Published: (2022)

Semantic knowledge management
Published: (2006)

Making semantics pragmatic
Published: (2011)

Semantic fields in sign languages : colour, kinship and quantification /
Published: (2016)

Contributions to Semantic Dependency Parsing : Search, Learning, and Application.
by: Kurtz, Robin.
Published: (2020)

Theoretical and Practical Advances in Computer-Based Educational Measurement.
by: Veldkamp, Bernard P.
Published: (2019)

Mathematical Aspects of Logic Programming Semantics.
by: Hitzler, Pascal.
Published: (2010)

Semantic and social aspects of learning in organizations
Published: (2005)

Social networks with rich edge semantics /
by: Zheng, Quan,, et al.
Published: (2017)

Affectedness at the Morphosyntax-Semantics Interface : Evidence from Differential Object Marking.
by: Kızılkaya, Semra.
Published: (2024)

Semantic Systems. in the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, the Netherlands, September 7-10, 2020, Proceedings.
by: Blomqvist, Eva.
Published: (2020)

Concepts, Frames and Cascades in Semantics, Cognition and Ontology.
by: Löbner, Sebastian.
Published: (2021)

Foundations of Fuzzy Logic and Semantic Web Languages.
by: Straccia, Umberto.
Published: (2013)

Towards Semantically Enabled Complex Event Processing.
by: Keskisärkkä, Robin.
Published: (2017)

Scalability and Semantic Sustainability in Electronic Health Record Systems.
by: Sundvall, Erik.
Published: (2013)

Proofs of Genius : Collected Editions from the American Revolution to the Digital Age.
by: Gailey, Amanda.
Published: (2015)

For hunger-proof cities sustainable urban food systems /
Published: (1999)

Dynamic future-proofing : integrating disruption in everyday business /
by: Manu, Alexander, 1954-
Published: (2021)

Theoretical Underpinnings of Jobs Diagnostics
by: Lachler, Ulrich, et al.
Published: (2020)

Theoretical Knowledge in the Mohist Canon.
by: Schemmel, Matthias.
Published: (2023)

Conceptual and Theoretical Issues
Published: (2006)

A companion to theoretical econometrics
Published: (2001)

Brand Image Theoretical Aspects
by: Išoraitė, Margarita
Published: (2018)

Reforming China : theoretical framework.
by: Yang
Published: (2011)

Theoretical Comparative Syntax : Studies in Macroparameters.
by: Fukui, Naoki.
Published: (2006)

Crash proof 2.0 how to profit from the economic collapse /
by: Schiff, Peter D., 1963-
Published: (2010)

Theoretical system of China's macroeconomic analysis
by: Chaoyu, Zheng.
Published: (2014)

Major trends in theoretical and applied linguistics.
Published: (2013)

Major trends in theoretical and applied linguistics.
Published: (2013)

Major trends in theoretical and applied linguistics.
Published: (2013)

Game-theoretic foundations for probability and finance /
by: Shafer, Glenn, 1946-, et al.
Published: (2019)

Future-Proofing Adult Learning in Berlin, Germany.
by: OECD.
Published: (2022)

The future-proof workplace : six strategies to accelerate talent development, reshape your culture, and succeed with purpose /
by: Sharkey, Linda,, et al.
Published: (2017)

Insight into theoretical and applied informatics : introduction to information technologies and computer science /
by: Yatsko, Andrzej,, et al.
Published: (2015)

The theoretical evolution of the international political economy : a reader /
Published: (2013)

International economic policies and their theoretical foundations : a sourcebook /
Published: (1992)

Theoretical Prediction of Properties of Atomistic Systems : Density Functional Theory and Machine Learning.
by: Lindmaa, Alexander.
Published: (2017)