An edition of Automated deduction, CADE-19 (2003)

Automated deduction, CADE-19

19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

by

Cover of: Automated deduction, CADE-19 by International Conference on Automated Deduction (19th 2003 Miami Beach, Fla.), International Conference on Automated Deduction (19th 2003 Miami Beach, Fla.)
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot
September 18, 2024 | History
Edit
An edition of Automated deduction, CADE-19 (2003)

Automated deduction, CADE-19

19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

by

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

Publish Date
Publisher
Springer
Language
English
Pages
502

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving Congresses Logic, Symbolic and mathematical Symbolic and mathematical Logic
Edition Availability
Cover of: Automated deduction, CADE-19
Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
2003, Springer
in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, New York
Series
Lecture notes in computer science -- 2741. -- Lecture notes in artificial intelligence, Lecture notes in computer science -- 2741., Lecture notes in computer science
Genre
Congresses.

Classifications

Library of Congress
QA76.9.A96 I57 2003, QA76.9.A96 I57 2003, QA75.5-76.95

The Physical Object

Pagination
xii, 502 p. :
Number of pages
502

Edition Identifiers

Open Library
OL18203696M
ISBN 10
3540405593
LCCN
2003057323
OCLC/WorldCat
52554324
Goodreads
5160720

Work Identifiers

Work ID
OL12349334W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON