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)
Series
ISBN
3540405593 (softcover : alk. paper)
LCCN
2003057323
OCLC
52554324
RCP
C - S
Statement on language in 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...