Automated Deduction - CADE-15 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 1998

Automated Deduction - CADE-15

Hélène Kirchner

Abstract

This volume is the proceedings of the 14th International Conference on Automated Deduction, held in Lindau, Germany, in July 1998.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00098417 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098417 , version 1

Cite

Claude Kirchner, Hélène Kirchner (Dir.). Automated Deduction - CADE-15. Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence. ⟨inria-00098417⟩
32 View
0 Download

Share

Gmail Facebook X LinkedIn More