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

Viac informácií o knihe Automated Deduction - CADE-14

• 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 strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

• Celý názov: Automated Deduction - CADE-14
• Podnázov: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.
• Autor: William McCune
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 469
• EAN: 9783540631040
• ISBN: 3540631046
• ID: 01566388
• Nakladateľ: Springer, Berlin
• Hmotnosť: 632 g
• Rozmery: 234 × 156 × 24 mm
• Rok vydania: 1997

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

---

---

---