Code: 01561453

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561453
Price: 573.28 PLN
Availability: InStock

by Geoff Sutcliffe, Andrei Voronkov

Language: English
Binding: Paperback
Number of pages: 744
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
More about this

573.28 zł

Low in stock at our supplier
Shipping in 12 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Moments In Time
55.74 zł
Buy
Commentaries on the Laws of Virginia: Comprising the Substance of a Course of Lectures Delivered to the Winchester Law School. Volume 1 of 2
161.64 zł
Buy
Advertisements for the Unexperienced Planters of New England, or Anywhere, Or, the Pathway to Erect a Plantation: By Captain John Smith.
78.18 zł -5 %
Buy
Black Unicorn
68.53 zł -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logic for Programming, Artificial Intelligence, and Reasoning

Book details
Synopsis
Trending among others

You get 331 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.§The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Book details

Book category Books in English Computing & information technology Computer programming / software development

573.28 zł

Full title: Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Author: Geoff Sutcliffe, Andrei Voronkov
Language: English
Binding: Paperback
Number of pages: 744
EAN: 9783540305538
ISBN: 354030553X
ID: 01561453
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 2320 g
Dimensions: 235 × 155 × 41 mm
Date of publishing: 24. November 2005