Interactive Theorem Proving

Interactive Theorem Proving

Dettagli Bibliografici
Altri autori:	Blazy
Natura:	Elettronico eBook
Lingua:	English
Pubblicazione:	Springer Berlin Heidelberg, 2013
Edizione:	1
Soggetti:	Electronic books
Accesso online:	Full text available on Springer Off-campus access

Documenti analoghi

Proving Up
di: Krall

Proving Ground
di: Slavishak

Proving Grounds
di: Martini

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

The Implicit Function Theorem
di: Krantz
Pubblicazione: (2013)

An Introduction to Gödel's Theorems
di: Peter Smith
Pubblicazione: (2013)

Arrow Impossibility Theorems
di: Kelly, Jerry S.
Pubblicazione: (1978)

Arrow Impossibility Theorems
di: Kelly, Jerry S.
Pubblicazione: (1978)

Proof and Proving in Mathematics Education
Pubblicazione: (2012)

Couldn't Prove, Had to Promise
di: Prunty

Proofs of the Cantor-Bernstein Theorem
di: Hinkis
Pubblicazione: (2013)

Atiyah-Singer Index Theorem
di: Mukherjee
Pubblicazione: (2013)

Rights of the British Colonies Asserted & Proved

Rights of the British Colonies Asserted & Proved

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

A Guide to the Classification Theorem for Compact Surfaces
di: Gallier
Pubblicazione: (2013)

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

Coding Theorems of Classical and Quantum Information Theory
di: Parthasarathy
Pubblicazione: (2013)

Proceedings of ACM conference on Proving assertions about programs

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

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

A Test of the General Validity of the Heckscher-Ohlin Theorem for Trade in the European Community /
di: Hakura, Dalia
Pubblicazione: (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?
di: The New Age
Pubblicazione: (2016)

Interactions

Interactions

Interactive Storytelling
Pubblicazione: (2013)

Interactive Week

Earth Interactions

International Interactions

Emotion in interaction
di: Peräkylä, Anssi

Symbiotic Interaction
Pubblicazione: (2017)

Interactive Journalism
di: Usher

Romantic Interactions
di: Wolfson

The interactional instinct

The interactive stance
di: Ginzburg, Jonathan

Interactive Paper