Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Paperback, 2007 ed.) Loot Price: R1,645

Discovery Miles 16 450

Repayment Terms: R154 pm x 12*

Add to cart

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia,...

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Paperback, 2007 ed.)

Nachum Dershowitz, Andrei Voronkov

Series: Lecture Notes in Artificial Intelligence, 4790

(sign in to rate)

Loot Price R1,645 Discovery Miles 16 450 | Repayment Terms: R154 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.

The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 4790
Release date:	October 2007
First published:	2007
Editors:	Nachum Dershowitz • Andrei Voronkov
Dimensions:	235 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	564
Edition:	2007 ed.
ISBN-13:	978-3-540-75558-6
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-75558-6
Barcode:	9783540755586