An edition of Automated deduction, CADE-13 (1996)

Automated deduction, CADE-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by MARC Bot
August 1, 2024 | History
An edition of Automated deduction, CADE-13 (1996)

Automated deduction, CADE-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
764

Buy this book

Previews available in: English

Book Details


Edition Notes

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 1104., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 1104., Lecture notes in computer science.

Classifications

Dewey Decimal Class
006.3/3
Library of Congress
QA76.9.A96 I57 1996, QA75.5-76.95

The Physical Object

Pagination
xv, 764 p. :
Number of pages
764

Edition Identifiers

Open Library
OL990692M
Internet Archive
automateddeducti0000inte_v9w7
ISBN 10
3540615113
LCCN
96029057
OCLC/WorldCat
35029668
Goodreads
5160721

Work Identifiers

Work ID
OL3285961W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
August 1, 2024 Edited by MARC Bot import existing book
January 15, 2023 Edited by ImportBot import existing book
October 5, 2021 Edited by ImportBot import existing book
August 12, 2021 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record