Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computational Logic - CL 2000

Name: Computational Logic - CL 2000
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567519
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Der Laser K. Dinstl

Paperback

20 447 Ft

Kritik und Fortschritt im Rechtsstaat

Paperback

13 731 Ft

Hunsrück Volker Kneidl

Paperback

6 258 Ft

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

Paperback

14 582 Ft

Gercek Hikayelerle Istiklal Marsimiz Nurullah Cetin

Paperback

7 737 Ft

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.