Computational Logic - CL 2000

Name: Computational Logic - CL 2000
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540677970
Price: 277.38 RON
Availability: InStock

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

Autor: John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2000

Pagini

1382

EAN

9783540677970

ISBN

3540677976

Enbook ID

01567519

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

2154

Dimensiuni

155 x 235 x 51

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computational Logic - CL 2000

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Epilepsy and the Ketogenic Diet

Angiotensin Vol. I

Book of Stones

Perfect Me

An Introduction to Music

Kawaii: How to Draw Really Cute Stuff

Animal Shorts 2: be Happy or Else

Macroeconomics in Times of Liquidity Crises

Negotiating the Modern

Juguemos Todos Juntos

Startup Boards

Transitional Justice

Clienții care au cumpărat această carte au mai cumpărat și

Der Laser

Kritik und Fortschritt im Rechtsstaat

Hunsrück

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

Gercek Hikayelerle Istiklal Marsimiz