✦ LIBER ✦

Some experiments with a completion theorem prover

✍ Scribed by Ursula Martin; Michael Lai

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 798 KB
Volume: 13
Category: Article
ISSN: 0747-7171
DOI: 10.1016/0747-7171(92)90007-q

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some experiments in nonassociative ring

Some experiments in nonassociative ring theory with an automated theorem prover

✍ Rick L. Stevens 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 432 KB

An experiment with the Boyer-Moore theor

An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem

✍ David M. Russinoff 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 829 KB

A completeness theorem for locally conve

A completeness theorem for locally convex spaces and some applications

✍ C. L. De Vito 📂 Article 📅 1968 🏛 Springer 🌐 English ⚖ 657 KB

Some experiments with a timetabling syst

Some experiments with a timetabling system

✍ R. Ostermann; D. de Werra 📂 Article 📅 1982 🏛 Springer 🌐 German ⚖ 520 KB

Some experiments with a pathogenic yeast

✍ Grünbaum, Albert S. 📂 Article 📅 1909 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 309 KB

Experience with a high-capacity piston p

Experience with a high-capacity piston prover as a primary standard for high-pressure gas flow measurement

✍ H. Bellinga; F.J. Delhez 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 594 KB

A description is given of the measures that had to be taken in order to convert a piston prover, designed for use with liquids, into a prover applicable to gas. The advantages of a piston prover as a primary standard are discussed and compared with the traditional method to obtain traceability to pr