Dimostrazione automatica di teoremi

Subject

Browse all works related to Dimostrazione automatica di teoremi.

Home
Subject
Dimostrazione automatica di teoremi

"8" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Mechanical geometry theorem proving

by Chou, Shang-Ching

fromMathematics and its applications (Reidel)

0 Type: Book

A many-sorted calculus based on resolution and paramodulation

by Walther, Christoph

fromResearch notes in artificial intelligence

0 Type: Book

Mathematical reasoning with diagrams: from intuition to automation

fromCSLI lecture notes

0 Type: Book

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing

0 Type: Book

First-order logic and automated theorem proving

by Fitting, Melvin Chris

fromTexts and Monographs in Computer Science

0 Type: Book

Automated reasoning: essays in honor of Woody Bledsoe

by Bledsoe, Woody W.

fromAutomated reasoning series

0 Type: Book

Term rewriting and all that

by Baader, Franz, Nipkow, Tobias

0 Type: Book

The collected works of Larry Wos

0 Type: Book

Subjects

Contributor

Baader, Franz (1) Bledsoe, Woody W. (1) Boyer, Robert S. (1) Chou, Shang-Ching (1) Fitting, Melvin Chris (1) Moore, J. Strother (1) Nipkow, Tobias (1) Walther, Christoph (1)

Publisher

Academic Press (1) CSLI (1) Cambridge University Press (1) Kaufmann (1) Kluwer Academic (1) Pitman (1) Reidel (1) Springer (1) World Scientific (1)

Year

2001 (1) 2000 (1) 1998 (1) 1991 (1) 1990 (1) 1988 (2) 1987 (1)

Clear filters

Books

Account

Dimostrazione automatica di teoremi

Mechanical geometry theorem proving

A many-sorted calculus based on resolution and paramodulation

Mathematical reasoning with diagrams: from intuition to automation

A computational logic handbook

First-order logic and automated theorem proving

Automated reasoning: essays in honor of Woody Bledsoe

Term rewriting and all that

The collected works of Larry Wos

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

Wajib Dimiliki Pelajar

5 Reasons Why Breakfast Is The Most Important Meal of The Day