Skip to search
Skip to main content
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
Printer
Bookmark
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / Franz Baader (ed.).
Author
International Conference on Automated Deduction (19th : 2003 : Miami Beach, Fla.)
[Browse]
Format
Book
Language
English
Published/Created
Berlin ; New York : Springer, 2003.
Description
xii, 502 pages : illustrations ; 24 cm.
Details
Subject(s)
Automatic theorem proving
—
Congresses
[Browse]
Logic, Symbolic and mathematical
—
Congresses
[Browse]
Related name
Baader, Franz
[Browse]
Series
Lecture notes in computer science ; 2741.
[More in this series]
Lecture notes in computer science. Lecture notes in artificial intelligence.
[More in this series]
Lecture notes in computer science ; 2741. Lecture notes in artificial intelligence
[More in this series]
ISBN
3540405593 (softcover : alk. paper)
LCCN
2003057323
OCLC
52554324
RCP
C - S
Statement on responsible collection description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Ask a Question
Suggest a Correction
Supplementary Information
Other versions
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / edited by Franz Baader.
id
99125281324106421
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / Franz Baader (ed.).
id
SCSB-8733433