Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected fro...

Full description

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), International Conference on Automated Deduction, CADE
Other Authors:	Kirchner, Claude (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [etc.] : Springer, cop. 1998.
Series:	Lecture notes in computer science ; 1421. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. Automatische bewijsvoering. Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books. Congressen (vorm) Conference proceedings.
Online Access:	Connect to the full text of this electronic book