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: