Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (1997) (Lecture Notes in Computer Science #1249)

By: William McCune

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis: 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.

Book Quality:: Publisher Quality
ISBN-13:: 9783540691402
Related ISBNs:: 9783540631040
Publisher:: Springer Berlin Heidelberg
Date of Addition:: 08/10/22
Copyrighted By:: N/A
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: William McCune