Structural proof theory

Mã QR

Structural proof theory

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Negri, Sara
פורמט:	ספר
שפה:	Undetermined
יצא לאור:	Cambridge, UK Cambridge Univ. Press 2001
נושאים:	Proof theory
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Structural proof theory
מאת: Sara Negri
יצא לאור: (2001)

Proof patterns
מאת: Mark Joshi
יצא לאור: (2015)

Problems and Proofs in Numbers and Algebra
מאת: Millman, Richard S, et al.
יצא לאור: (2015)

Dag Prawitz on Proofs and Meaning
מאת: Wansing, Heinrich
יצא לאור: (2015)

The nuts and bolts of proofs
מאת: Cupillari, Antonella
יצא לאור: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
מאת: Baumgart, Oswald
יצא לאור: (2015)

Evidence, proof, and facts
מאת: Murphy, Peter
יצא לאור: (2003)

Enumerating proofs of positive formulae /
מאת: Dowek, Gilles.

Strategy-proofness and the tops-only property /
מאת: Weymark, John A.

Theorems, corollaries, lemmas, and methods of proof
מאת: Rossi, Richard J.
יצא לאור: (2006)

Tests and Proofs
יצא לאור: (2020)

Proofs from THE BOOK. 6th ed.
מאת: Aigner, Martin, et al.
יצא לאור: (2020)

Discrete structures and automata theory
מאת: Dube, Rakesh
יצא לאור: (2006)

Structure Theory for Canonical Classes of Finite Groups
מאת: Guo, Wenbin
יצא לאור: (2015)

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

Proof :
מאת: Atkinson, Paul
יצא לאור: (2007)

Proof
מאת: Atkinson, Paul
יצא לאור: (2007)

Coding theory and number theory /
מאת: Hiramatsu, Toyokazu.
יצא לאור: (2003)

String Theory and M-Theory : A Modern Introduction
מאת: Becker, K, et al.
יצא לאור: (2013)

Hacker proof
מאת: Jamsa, Kris
יצא לאור: (2002)

Artist's proof.
יצא לאור: (1969)

Artist's proof.
יצא לאור: (1969)

Artist's proof.
יצא לאור: (1970)

Artist's proof.
יצא לאור: (1968)

Artist's proof.
יצא לאור: (1967)

Tests and Proofs
מאת: Beckert, Bernhard, et al.
יצא לאור: (2020)

Tests and Proofs
מאת: Dubois, Catherine, et al.
יצא לאור: (2020)

Tests and Proofs
מאת: Gabmeyer, Sebastian, et al.
יצא לאור: (2020)

Tests and Proofs
מאת: Meyer, Bertrand, et al.
יצא לאור: (2020)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
מאת: Bosi, Gianni, et al.
יצא לאור: (2020)

Communication theory /
מאת: Goldie, Charles M.
יצא לאור: (1991)

The Structure of the Atom
מאת: Wilson, Ernest Dana
יצא לאור: (2012)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
מאת: Li, Shihua, et al.
יצא לאור: (2020)

The theory of information and coding
מאת: McEliece, Robert J.
יצא לאור: (2004)

Rewriting, Computation and Proof
מאת: Comon-Lundh, Hubert, et al.
יצא לאור: (2020)

Types for Proofs and Programs
יצא לאור: (2020)

Types for Proofs and Programs
מאת: Miculan, Marino, et al.
יצא לאור: (2020)

Human Interactive Proofs
יצא לאור: (2020)

Galois theory
מאת: Ian Stewart
יצא לאור: (1998)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
מאת: Chou, Shang-Ching, 1946-
יצא לאור: (1994)