Mohlo by sa vám tiež páčiť

Viac informácií o knihe Computational Logic - CL 2000

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Celý názov: Computational Logic - CL 2000
• Podnázov: First International Conference London, UK, July 24-28, 2000 Proceedings
• Autor: John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 1382
• EAN: 9783540677970
• ISBN: 3540677976
• ID: 01567519
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 2154 g
• Rozmery: 235 × 155 × 51 mm
• Dátum vydania: 17. July 2000

Obľúbené z iného súdka

---

---

---