Interactive Theorem Proving

Interactive Theorem Proving

Dades bibliogràfiques
Altres autors:	Blazy
Format:	Electrònic eBook
Idioma:	English
Publicat:	Springer Berlin Heidelberg, 2013
Edició:	1
Matèries:	Electronic books
Accés en línia:	Full text available on Springer Off-campus access

Ítems similars

Proving Up
per: Krall

Proving Ground
per: Slavishak

Proving Grounds
per: Martini

How to prove it : a structured approach /
per: Velleman, Daniel J.
Publicat: (2006)

The Implicit Function Theorem
per: Krantz
Publicat: (2013)

An Introduction to Gödel's Theorems
per: Peter Smith
Publicat: (2013)

Arrow Impossibility Theorems
per: Kelly, Jerry S.
Publicat: (1978)

Arrow Impossibility Theorems
per: Kelly, Jerry S.
Publicat: (1978)

Proof and Proving in Mathematics Education
Publicat: (2012)

Couldn't Prove, Had to Promise
per: Prunty

Proofs of the Cantor-Bernstein Theorem
per: Hinkis
Publicat: (2013)

Atiyah-Singer Index Theorem
per: Mukherjee
Publicat: (2013)

Rights of the British Colonies Asserted & Proved

Rights of the British Colonies Asserted & Proved

Proceedings of ACM conference on Proving assertions about programs

Markov's Theorem and 100 Years of the Uniqueness Conjecture
per: Aigner
Publicat: (2013)

A Guide to the Classification Theorem for Compact Surfaces
per: Gallier
Publicat: (2013)

Limit Theorems in Probability, Statistics and Number Theory
Publicat: (2013)

Coding Theorems of Classical and Quantum Information Theory
per: Parthasarathy
Publicat: (2013)

The Mussa Theorem (and Other Results on IMF-Induced Moral Hazard) /
per: Jeanne, Olivier
Publicat: (2004)

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
per: Marichal
Publicat: (2022)

A Test of the General Validity of the Heckscher-Ohlin Theorem for Trade in the European Community /
per: Hakura, Dalia
Publicat: (1999)

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

Jurnal Theorems (The Original Research of Mathematics) | Program Studi Pendidikan Matematika Universitas Majalengka

Jurnal Theorems (The Original Research of Mathematics) | Program Studi Pendidikan Matematika Universitas Majalengka

No government steps so far proved effective to stop the use of banned polythene bags, which are harmful for the environment: how to stop it?
per: The New Age
Publicat: (2016)

Interactions

Interactions

Interactive Storytelling
Publicat: (2013)

Interactive Week

Earth Interactions

International Interactions

Emotion in interaction
per: Peräkylä, Anssi

Symbiotic Interaction
Publicat: (2017)

Interactive Journalism
per: Usher

Romantic Interactions
per: Wolfson

The interactional instinct

The interactive stance
per: Ginzburg, Jonathan

Interactive Paper