✦ LIBER ✦

Axiomatisation of an Interval Calculus for Theorem Proving

✍ Scribed by Antonio Cerone

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 245 KB
Volume: 42
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80879-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

M-calculus — a sequent method for automa

M-calculus — a sequent method for automatic theorem proving

✍ A. V. Mantsivoda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 496 KB

Proving theorems of the second order Lam

Proving theorems of the second order Lambek calculus in polynomial time

✍ Erik Aarts 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 725 KB

Mechanical theorem proving in a certain

Mechanical theorem proving in a certain class of formulae of the predicate calculus

✍ Ewa Orłowska 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

An algorithm for proving theorems in gro

An algorithm for proving theorems in group theory

✍ F. V. Anufriev; V. V. Fedyurko; A. A. Letichevskii; Z. M. Asel'derov; I. I. Didu 📂 Article 📅 1967 🏛 Springer US 🌐 English ⚖ 490 KB

Interactive Theorem Proving: An Empirica

Interactive Theorem Proving: An Empirical Study of User Activity

✍ J.S. Aitken; P. Gray; T. Melham; M. Thomas 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 452 KB

In this paper the interaction between users and the interactive theorem prover HOL is investigated from a human-computer interaction perspective. First, we outline three possible views of interaction, and give a brief survey of some current interfaces and how they may be described in terms of these

Calculus for interval functions of a rea

Calculus for interval functions of a real variable

✍ S. Markov 📂 Article 📅 1979 🏛 Springer Vienna 🌐 English ⚖ 600 KB