Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Bibliographic Information

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Alan Bundy (ed.)

(Lecture notes in computer science, 814 . Lecture notes in artificial intelligence)

Springer-Verlag, c1994

  • : us
  • : gw

Available at  / 58 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top