.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Reasoning
. Ed(S): Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias
€ 139.35
FREE Delivery in Ireland
Description for Automated Reasoning
Paperback. Editor(s): Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias. Series: Lecture Notes in Computer Science. Num Pages: 725 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1003.
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 to bring our communities togetheragain.Theplanwastoholdaone-o?conferencefor2001,toberepeated ifitprovedasuccess.Thisvolumecontainsthepaperspresentedattheresulting event:the?rstInternationalJointConferenceonAutomatedReasoning(IJCAR 2001), held in Siena, Italy, from June 18-23, 2001. We received 88 research papers and 24 systems descriptions ... Read more
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 to bring our communities togetheragain.Theplanwastoholdaone-o?conferencefor2001,toberepeated ifitprovedasuccess.Thisvolumecontainsthepaperspresentedattheresulting event:the?rstInternationalJointConferenceonAutomatedReasoning(IJCAR 2001), held in Siena, Italy, from June 18-23, 2001. We received 88 research papers and 24 systems descriptions ... Read more
Product Details
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
725
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
712
Place of Publication
Berlin, Germany
ISBN
9783540422549
SKU
V9783540422549
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Reasoning