Automated Deduction - CADE-14

Name: Automated Deduction - CADE-14
Brand: Springer, Berlin
SKU: 9783540631040
Price: 50.22 EUR
Availability: InStock

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Autor: William McCune

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.22 €

This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto...

Informácie o knihe

Autor

William McCune

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1997

Stránok

469

EAN

9783540631040

ISBN

3540631046

Enbook ID

01566388

Vydavateľ

Springer, Berlin

Hmotnosť

632

Rozmery

156 x 234 x 24

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Automated Deduction - CADE-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež