5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Bibliographic Information

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

edited by W. Bibel and R. Kowalski

(Lecture notes in computer science, 87)

Springer-Verlag, 1980

  • : gw
  • : us

Available at  / 55 libraries

Search this Book/Journal

Note

Includes bibliographies

Related Books: 1-1 of 1

Details

Page Top