Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Mitarbeit:McCune, William
Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Mitarbeit:McCune, William
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- BundyAutomated Deduction - CADE-1237,99 €
- Deepak Kapur (ed.)Automated Deduction - CADE-1183,99 €
- KirchnerAutomated Deduction - CADE-1542,99 €
- Franz Baader (ed.)Automated Deduction - CADE-1942,99 €
- R. PadmanabhanAutomated Deduction in Equational Logic and Cubic Curves42,99 €
- Automated Deduction ¿ CADE-2237,99 €
- Harald Ganzinger (ed.)Automated Deduction - CADE-1642,99 €
-
-
-
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- Produktdetails
- Lecture Notes in Computer Science 1249
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10550049, 978-3-540-63104-0
- 1997.
- Seitenzahl: 484
- Erscheinungstermin: 18. Juni 1997
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 632g
- ISBN-13: 9783540631040
- ISBN-10: 3540631046
- Artikelnr.: 09251216
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
- Lecture Notes in Computer Science 1249
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10550049, 978-3-540-63104-0
- 1997.
- Seitenzahl: 484
- Erscheinungstermin: 18. Juni 1997
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 632g
- ISBN-13: 9783540631040
- ISBN-10: 3540631046
- Artikelnr.: 09251216
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.