Interactive Theorem Proving

Interactive Theorem Proving

书目详细资料
其他作者:	Blazy
格式:	电子电子书
语言:	English
出版:	Springer Berlin Heidelberg, 2013
版:	1
主题:	Electronic books
在线阅读:	Full text available on Springer Off-campus access

相似书籍

Proving Up
由: Krall

Proving Ground
由: Slavishak

Proving Grounds
由: Martini

How to prove it : a structured approach /
由: Velleman, Daniel J.
出版: (2006)

The Implicit Function Theorem
由: Krantz
出版: (2013)

An Introduction to Gödel's Theorems
由: Peter Smith
出版: (2013)

Arrow Impossibility Theorems
由: Kelly, Jerry S.
出版: (1978)

Arrow Impossibility Theorems
由: Kelly, Jerry S.
出版: (1978)

Proof and Proving in Mathematics Education
出版: (2012)

Couldn't Prove, Had to Promise
由: Prunty

Proofs of the Cantor-Bernstein Theorem
由: Hinkis
出版: (2013)

Atiyah-Singer Index Theorem
由: Mukherjee
出版: (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
由: Aigner
出版: (2013)

A Guide to the Classification Theorem for Compact Surfaces
由: Gallier
出版: (2013)

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

Coding Theorems of Classical and Quantum Information Theory
由: Parthasarathy
出版: (2013)

Proceedings of ACM conference on Proving assertions about programs

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

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
由: Marichal
出版: (2022)

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

Interactions

Interactions

Interactive Storytelling
出版: (2013)

Interactive Week

Earth Interactions

International Interactions

Emotion in interaction
由: Peräkylä, Anssi

Symbiotic Interaction
出版: (2017)

Interactive Journalism
由: Usher

Romantic Interactions
由: Wolfson

The interactional instinct

The interactive stance
由: Ginzburg, Jonathan

Interactive Paper