Items related to Logic for Programming, Artificial Intelligence, and...

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings: 7180 (Lecture Notes in Computer Science, 7180) - Softcover

 
9783642287169: Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings: 7180 (Lecture Notes in Computer Science, 7180)

Synopsis

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

"synopsis" may belong to another edition of this title.

From the Back Cover

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Fine
Zustand: Sehr gut | Seiten: 446...
View this item

£ 7.50 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783642287183: Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Featured Edition

ISBN 10:  3642287182 ISBN 13:  9783642287183
Publisher: Springer, 2012
Softcover

Search results for Logic for Programming, Artificial Intelligence, and...

Stock Image

Unbekannt
Published by Springer-Verlag GmbH, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 446 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 11964246/12

Contact seller

Buy Used

£ 30.09
Convert currency
Shipping: £ 7.50
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642287169_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bjørner, Nikolaj|Voronkov, Andrei
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date results Fast-track conference proceedings State-of-the-art researchThis book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held. Seller Inventory # 5055663

Contact seller

Buy New

£ 42.32
Convert currency
Shipping: £ 21.07
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bjrner, Nikolaj
Published by Springer 2012-02, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783642287169

Contact seller

Buy New

£ 64.52
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Bjørner, Nikolaj (Editor)/ Voronkov, Andrei (Editor)
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock. Seller Inventory # x-3642287166

Contact seller

Buy New

£ 67.80
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020223338

Contact seller

Buy New

£ 45.59
Convert currency
Shipping: £ 55.33
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket