Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computational Logic - CL 2000

Name: Computational Logic - CL 2000
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567519
Price: 53.79 EUR
Availability: InStock
Author: John Lloyd
ISBN: 9783540677970

First International Conference London, UK, July 24-28, 2000 Proceedings

Language

English

Book Paperback

Libristo code: 01567519

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2000

This book constitutes the refereed proceedings of the First International Conference on Computationa... Full description

Libristo code: 01567519

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Der Laser K. Dinstl

Paperback

55.29 €

Kritik und Fortschritt im Rechtsstaat

Paperback

40.19 €

Hunsrück Volker Kneidl

Paperback

16.95 €

Arbeitskampf und Notstand aus der Sicht des Art. 9 Abs. 3 S. 3 GG. Hans Dieter Schmid

Paperback

39.90 €

Gercek Hikayelerle Istiklal Marsimiz Nurullah Cetin

Paperback

20.99 €

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.