Delta State University

Cover image for Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).
Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).
Title:
Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).
Conference Author:
International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
Publication:
Berlin ; New York : Springer-Verlag, [1990]
Copyright:
©1990
Publication Date:
1990
ISBN:
9780387528854
Series Search:
Lecture notes in computer science

Lecture notes in computer science.
Bibliography Note:
Includes biblioigraphical references and index.
Content Type:
text
Carrier Type:
volume
MSU Volume:
449.
Added Author:
Stickel, M. E. (Mark E.), 1947-
Language:
English
Subject:
Automatic theorem proving -- Congresses.

Logic, Symbolic and mathematical -- Congresses.
No. of Holds:

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library