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

DPD courier 4.99 € GLS courier 9.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: 51.36 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

125 b

51.36 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Der Laser K. Dinstl

Paperback

52.77 €

Observations Et Considerations Sur La Taille Bilaterale Et Sur La Taille Mediane ROUX-J-N

Paperback

12.96 €

Kritik und Fortschritt im Rechtsstaat

Paperback

38.29 €

Gercek Hikayelerle Istiklal Marsimiz Nurullah Cetin

Paperback

20.00 €

Hunsrück Volker Kneidl

Paperback

16.08 €

sentieri della musicoterapia. Esperienze in età evolutiva Lorena Guerra

Paperback

18.99 €

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

Paperback

46.84 €

Influence des techniques de séchage sur la solubilité des protéines Sara Zidani

Paperback

60.11 €

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.