Back to Results
First PageMeta Content
Mathematical proof / Equational logic / Proof theory / Theorem / Automated theorem proving / Mathematical induction / Logic / Mathematics / Mathematical logic


Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040
Add to Reading List

Document Date: 2005-07-19 18:40:19

Open Document

File Size: 260,20 KB

Share Result on Facebook

City

Tel Aviv / Ramat Aviv / /

Company

Bendix / /

/

Facility

Tulane University / /

IndustryTerm

search spaces / arbitrary proof systems / proof search methods / proof systems / /

Organization

Israel Science Foundation / Tulane University / /

Person

Alfred Adler / Claude Kirchner / Bruno Buchberger / /

/

Position

first author / Prime Minister / mappings Pm / second author / Pm / as required / /

ProgrammingLanguage

L / /

PublishedMedium

The New Yorker / /

SocialTag