Structural proof theory

QRコード

Structural proof theory

保存先:

書誌詳細
第一著者:	Sara Negri
フォーマット:	図書
言語:	Undetermined
出版事項:	Cambridge , UK Cambridge Universiry 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
著者:: Negri, Sara
出版事項: (2001)

Proof patterns
著者:: Mark Joshi
出版事項: (2015)

Problems and Proofs in Numbers and Algebra
著者:: Millman, Richard S, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (2013)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
著者:: Bosi, Gianni, 等
出版事項: (2020)

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, 等
出版事項: (2020)

Tests and Proofs
著者:: Dubois, Catherine, 等
出版事項: (2020)

Tests and Proofs
著者:: Gabmeyer, Sebastian, 等
出版事項: (2020)

Tests and Proofs
著者:: Meyer, Bertrand, 等
出版事項: (2020)

Communication theory /
著者:: Goldie, Charles M.
出版事項: (1991)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
著者:: Li, Shihua, 等
出版事項: (2020)

The Structure of the Atom
著者:: Wilson, Ernest Dana
出版事項: (2012)

The theory of information and coding
著者:: McEliece, Robert J.
出版事項: (2004)

Galois theory
著者:: Ian Stewart
出版事項: (1998)

Evolutionary Governance Theory (Theory and Applications)
著者:: Beunen, Raoul, 等
出版事項: (2015)

Rewriting, Computation and Proof
著者:: Comon-Lundh, Hubert, 等
出版事項: (2020)

Types for Proofs and Programs
出版事項: (2020)

Types for Proofs and Programs
著者:: Miculan, Marino, 等
出版事項: (2020)

Human Interactive Proofs
出版事項: (2020)