|
|
|
Item Details
Title:
|
AUTOMATED DEDUCTION - CADE-19
19TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION MIAMI BEACH, FL, USA, JULY 28 - AUGUST 2, 2003, PROCEEDINGS |
By: |
Franz Baader (Editor) |
Format: |
Paperback |
List price:
|
£81.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540405593 |
ISBN 13: |
9783540405597 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
16 July, 2003 |
Edition: |
2003 ed. |
Series: |
Lecture Notes in Computer Science v.2741 |
Pages: |
512 |
Description: |
Covers the refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. This title dicusses various aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems. |
Synopsis: |
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|