Volume 2; Issue 3

Journal of Automated Reasoning

Volume 2; Issue 3

1

Editor's preface to ‘basic principles of mechanical theorem proving in elementary geometries’ by Wu Wen-tsun

J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 110 KB

english, 1986

2

Basic principles of mechanical theorem proving in elementary geometries

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.87 MB

english, 1986

3

Proving geometry theorems with rewrite rules

Shang-Ching Chou, William F. Schelter

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1016 KB

english, 1986

4

Editor's note

Joerg H. Siekmann

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 44 KB

english, 1986

5

Unification under associativity and idempotence is of type nullary

Manfred Schmidt-Schauss

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 238 KB

english, 1986

6

The theory of idempotent semigroups is of unification type zero

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 182 KB

english, 1986

7

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.94 MB

english, 1986

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски