题名 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak.

出版资料	Berlin ; New York : Springer-Verlag, 1984.

复本

馆藏地	索书号	处理状态
TL Books	QA76.9.A96 C66 1984	AVAILABLE

载体形态	vi, 508 p. : ill. ; 24 cm.
丛编	Lecture notes in computer science ; 170
	Lecture notes in computer science ; 170.
Bibliography	Includes bibliographies.
主题	Automatic theorem proving -- Congresses.
	Logic, Symbolic and mathematical -- Congresses.
其它责任者	Shostak, Robert, 1931-
附加题名	Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
国际标准书号	0387960228 (U.S. : pbk.)