BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester,
Stock photo: cover may vary

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings Paperback - 2012 - 2012th Edition

by Bernhard Gramlich (Editor); Dale Miller (Editor); Ulrike Sattler (Editor)

Add to wish list

Reader reviews for Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings

From the rear cover

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.

Details

  • Title Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings
  • Author Bernhard Gramlich (Editor); Dale Miller (Editor); Ulrike Sattler (Editor)
  • Binding Paperback
  • Edition number 2012th
  • Edition 2012
  • Pages 568
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2012-06-20
  • Illustrated Yes
  • Features Illustrated, Index, Table of Contents
  • ISBN 9783642313646 / 3642313647
  • Weight 1.9 lbs (0.86 kg)
  • Dimensions 9.2 x 6.1 x 1.3 in (23.37 x 15.49 x 3.30 cm)
  • Category Computers - General Information
  • Dewey Decimal Code 511.3

More Copies for Sale

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29,...

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642313646 / 3642313647
Quantity available
700
Seller
Item price
A$105.37
A$15.60 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely C
Add to wish list
Item price
A$105.37
A$15.60 Delivery to USA
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29,...
Stock photo: cover may vary

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science, 7364)

by Gramlich, Bernhard

  • New
  • Paperback
Condition
New
Edition
2012
Binding
Paperback
ISBN 10 / ISBN 13
9783642313646 / 3642313647
Quantity available
1
Seller
Item price
A$100.11
A$21.88 Delivery to USA

Show details

Description:
Springer, 2012-06-20. 2012. paperback. New. 6.10x1.32x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$100.11
A$21.88 Delivery to USA
Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29,...
Stock photo: cover may vary

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings

by Gramlich, Bernhard (Editor)/ Miller, Dale (Editor)/ Sattler, Ulrike (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642313646 / 3642313647
Quantity available
2
Seller
Item price
A$137.68
A$29.29 Delivery to USA

Show details

Description:
Springer Verlag, 2012. Paperback. New. 2012 edition. 582 pages. 9.00x6.00x1.40 inches.
Add to wish list
Item price
A$137.68
A$29.29 Delivery to USA
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29,...
Stock photo: cover may vary

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science, 7364)

by Gramlich, Bernhard

  • Used
  • Paperback
Condition
Used
Edition
2012
Binding
Paperback
ISBN 10 / ISBN 13
9783642313646 / 3642313647
Quantity available
1
Seller
Item price
A$126.82
A$21.88 Delivery to USA

Show details

Description:
Springer, 2012-06-20. 2012. paperback. Used: Good. 6.10x1.32x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$126.82
A$21.88 Delivery to USA