Structural proof theory

Côd QR

Structural proof theory

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Sara Negri
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cambridge , UK Cambridge Universiry Press 2001
Pynciau:	proof theory
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Eitemau Tebyg

Structural proof theory
gan: Negri, Sara
Cyhoeddwyd: (2001)

Proof patterns
gan: Mark Joshi
Cyhoeddwyd: (2015)

Problems and Proofs in Numbers and Algebra
gan: Millman, Richard S, et al.
Cyhoeddwyd: (2015)

Dag Prawitz on Proofs and Meaning
gan: Wansing, Heinrich
Cyhoeddwyd: (2015)

The nuts and bolts of proofs
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
gan: Baumgart, Oswald
Cyhoeddwyd: (2015)

Evidence, proof, and facts
gan: Murphy, Peter
Cyhoeddwyd: (2003)

Enumerating proofs of positive formulae /
gan: Dowek, Gilles.

Strategy-proofness and the tops-only property /
gan: Weymark, John A.

Theorems, corollaries, lemmas, and methods of proof
gan: Rossi, Richard J.
Cyhoeddwyd: (2006)

Tests and Proofs
Cyhoeddwyd: (2020)

Proofs from THE BOOK. 6th ed.
gan: Aigner, Martin, et al.
Cyhoeddwyd: (2020)

Discrete structures and automata theory
gan: Dube, Rakesh
Cyhoeddwyd: (2006)

Structure Theory for Canonical Classes of Finite Groups
gan: Guo, Wenbin
Cyhoeddwyd: (2015)

Three kinds of probabilistic induction : universal distributions and convergence theorems /
gan: Solomonoff, Ray J.

Proof :
gan: Atkinson, Paul
Cyhoeddwyd: (2007)

Proof
gan: Atkinson, Paul
Cyhoeddwyd: (2007)

Coding theory and number theory /
gan: Hiramatsu, Toyokazu.
Cyhoeddwyd: (2003)

String Theory and M-Theory : A Modern Introduction
gan: Becker, K, et al.
Cyhoeddwyd: (2013)

Hacker proof
gan: Jamsa, Kris
Cyhoeddwyd: (2002)

Artist's proof.
Cyhoeddwyd: (1969)

Artist's proof.
Cyhoeddwyd: (1969)

Artist's proof.
Cyhoeddwyd: (1970)

Artist's proof.
Cyhoeddwyd: (1968)

Artist's proof.
Cyhoeddwyd: (1967)

Tests and Proofs
gan: Beckert, Bernhard, et al.
Cyhoeddwyd: (2020)

Tests and Proofs
gan: Dubois, Catherine, et al.
Cyhoeddwyd: (2020)

Tests and Proofs
gan: Gabmeyer, Sebastian, et al.
Cyhoeddwyd: (2020)

Tests and Proofs
gan: Meyer, Bertrand, et al.
Cyhoeddwyd: (2020)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
gan: Bosi, Gianni, et al.
Cyhoeddwyd: (2020)

Communication theory /
gan: Goldie, Charles M.
Cyhoeddwyd: (1991)

The Structure of the Atom
gan: Wilson, Ernest Dana
Cyhoeddwyd: (2012)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
gan: Li, Shihua, et al.
Cyhoeddwyd: (2020)

The theory of information and coding
gan: McEliece, Robert J.
Cyhoeddwyd: (2004)

Rewriting, Computation and Proof
gan: Comon-Lundh, Hubert, et al.
Cyhoeddwyd: (2020)

Types for Proofs and Programs
Cyhoeddwyd: (2020)

Types for Proofs and Programs
gan: Miculan, Marino, et al.
Cyhoeddwyd: (2020)

Human Interactive Proofs
Cyhoeddwyd: (2020)

Galois theory
gan: Ian Stewart
Cyhoeddwyd: (1998)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
gan: Chou, Shang-Ching, 1946-
Cyhoeddwyd: (1994)