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

Adresse Bibliographique

Berlin ; New York : Springer-Verlag, 1984.

Exemplaires

Localisation	Cote	Statut
Training Stacks	QA76.9.A96 C66 1984	AVAILABLE

Description	vi, 508 p. : ill. ; 24 cm.
Collection	Lecture notes in computer science ; 170
	Lecture notes in computer science ; 170.
Bibliography	Includes bibliographies.
Sujet	Automatic theorem proving -- Congresses.
	Logic, Symbolic and mathematical -- Congresses.
Autre Auteur	Shostak, Robert, 1931-
Autre Titre	Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
ISBN	0387960228 (U.S. : pbk.)