Home Search Library Lists

Create account Sign in

Privacy · TermsBook data from Open Library

Home Search Lists Sign in

8th International Conference on Automated Deduction by Jörg H. Siekmann · Bookplated

8th International Conference on Automated Deduction

8th International Conference on Automated Deduction

1986724 pages

Written by

Jörg H. Siekmann

8th International Conference on Automated Deduction

Jörg H. Siekmann

Keep track of this one.

Sign in to log, rate or review

Reviews

❦

No reviews yet

Be the first to say something about it.

Ratings

—

★★★★★★★★★★

0 ratings0 read · 0 reading · 0 want

Automatic theorem proving