Titre Automated reasoning : introduction and applications / Larry Wos ... [et al.].

Adresse Bibliographique

Englewood Cliffs, N.J. : Prentice-Hall, c1984.

Exemplaires

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

Description	xiv, 482 p. : ill. ; 24 cm.
Bibliography	Includes bibliographical references and index.
Sujet	Automatic theorem proving.
	Artificial intelligence.
	Electronic digital computers -- Programming.
Autre Auteur	Wos, Larry.
ISBN	0130544531
	0130544469 (pbk.)