Search Results for Proof theory.

81 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 7

000000000000DEFAULTTR

A Model–Theoretic Approach to Proof Theory

Yazar

Kotlarski, Henryk. author.

https://doi.org/10.1007/978-3-030-28921-8

Format:

Electronic Resources

Alıntı:

A Model–Theoretic Approach to Proof Theory Kotlarski, Henryk. author.

Proofs and fundamentals : a first course in abstract mathematics

Yazar

Bloch, Ethan D.

Format:

Kitap

Alıntı:

Proof theory.

Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics

Yazar

Chatti, Saloua. author.

https://doi.org/10.1007/978-3-030-27466-5

Format:

Electronic Resources

Alıntı:

Proof theory.

Statistical learning with sparsity : the lasso and generalizations

Yazar

Hastie, Trevor.

Format:

Kitap

Alıntı:

Proof theory.

Teaching and learning proof across the grades : a K-16 perspective/cedited by Despina A. Stylianou, Maria L. Blanton, Eric J. Knuth.

Yazar

Stylianou, Despina A.

Format:

Kitap

Alıntı:

Proof theory -- Study and teaching.

Space in Weak Propositional Proof Systems

Yazar

Bonacina, Ilario. author.

https://doi.org/10.1007/978-3-319-73453-8

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

Big bang ve Tanrı

Yazar

Taslaman, Caner.

Format:

Kitap

Alıntı:

God -- Proof, Cosmological.

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Yazar

Horská, Anna. author.

http://dx.doi.org/10.1007/978-3-319-02171-3

Format:

Electronic Resources

Alıntı:

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Yazar

Heule, Marijn. editor.

http://dx.doi.org/10.1007/978-3-319-24318-4

Format:

Electronic Resources

Alıntı:

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin

10.

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Yazar

Kennedy, Juliette. editor.

https://doi.org/10.1007/978-3-662-55386-2

Format:

Electronic Resources

Alıntı:

Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory.

11.

Superlinear Parabolic Problems Blow-up, Global Existence and Steady States

Yazar

Quittner, Prof. Dr. Pavol. author.

https://doi.org/10.1007/978-3-030-18222-9

Format:

Electronic Resources

Alıntı:

Superlinear Parabolic Problems Blow-up, Global Existence and Steady States / Quittner, Prof. Dr

12.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89653-3

Format:

Electronic Resources

Alıntı:

preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision

Tümünü Seç

1 2 3 4 5 .. 7

81 sonuç bulundu

	{displayName}	{count}
{error}