Automated Deduction—CADE-14: 14th International Conference...

Main
Computers - Computer Science
Automated Deduction—CADE-14: 14th...

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Name: Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings
ISBN: 9783540691402

Wu Wen-Tsün (auth.), William McCune (eds.)

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Computers - Computer Science

Έτος:

1997

Έκδοση:

Εκδότης:

Springer-Verlag Berlin Heidelberg

Γλώσσα:

english

Σελίδες:

469

ISBN 10: