Advances in proof-theoretic semantics.

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

A model-theoretic approach to proof theory /
por: Kotlarski, Henryk 1949-2008
Publicado: (2019)

Advances in proof theory.

Advances in web semantics I : Ontologies, Web Services and Applied Semantic Web.

Advances in mathematics education research on proof and proving : An International Perspective.

Advances in semantic media adaptation and personalization.

Advances in semantic media adaptation and personalization /
Publicado: (2008)

Proof : a play /
por: Auburn, David, 1969-,

Applied proof theory: proof interpretations and their use in mathematics.

Proof of life
Publicado: (2000)

Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015)

Emergent web intelligence: advanced semantic technologies /
Publicado: (2010)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Proofs & theories : essays on poetry /
por: Glück, Louise Elisabeth 1943-
Publicado: (1994)

Advances in theoretical and applied statistics.

Proofs from the book /
por: Aigner, Martín, 1942-
Publicado: (2001)

Language proof and logic /
por: Barwise, Jon,
Publicado: (1999)

Proofs from the book /
por: Aigner, Martin 1942-, et al.
Publicado: (1999)

Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre, et al.
Publicado: (1976)

The art of proof : basic training for deeper mathematics /
por: Beck, Matthias,
Publicado: (2010)

Semantics /
por: Leech, Geoffrey, 1936-2014,
Publicado: (1976)

Semantics /
por: Saeed, John I., et al.
Publicado: (2009)

Semantics /
por: Saeed, John I.,
Publicado: (2023)

Robot-proof : higher education in the age of artificial intelligence /
por: Aoun, Joseph E. 1953-
Publicado: (2017)

Experimental and Theoretical Advances in Fluid Dynamics /
Publicado: (2012)

Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010)

Mistakes in geometric proofs : by Ya. S. Dubnov
por: Dubnov, Iakov Semenovich 1887-1957, et al.
Publicado: (1963)

Mistake-proofing for operators : the ZQC system /
Publicado: (1997)

Dag prawitz on proofs and meaning /
Publicado: (2015)

Collusion-proof yardstick competition /
Publicado: (1999)

Proof theory and intuitionistc systems
por: Scarpellini, Bruno, et al.
Publicado: (1964)

Number theory ; an introduction to proof
por: Vanden Eynden, Charles 1936-, et al.
Publicado: (1970)

Fit libraries are future proof /
por: Bell, Steven J., et al.

A logical introduction to proof /
por: Cunningham, Daniel Wendell
Publicado: (2012)

Illustrations and proofs of the principle of population /
por: Place, Francis P697i 1771-1854
Publicado: (1930)

Recession - proofing your organization.
por: Navarro, Peter

Deer proof your gardner.
por: Ottesen, Carole

Plant nematodes- proofs of pathogenicity
por: Oostenbrink, M.

Compositional semantics : an introduction to the syntax/semantics interface /
por: Jacobson, Pauline I. 1947-
Publicado: (2014)

Advances in neural networks: computational and theoretical issues.

Organic Sulfur Chemistry Theoretical and Experimental Advances
por: Bernardi, F, et al.
Publicado: (1985)