Title Automated theorem proving / Wolfgang Bibel

Edition Second revised edition Published Braunschweig : F. Vieweg, 1987

Copies

Location	Call no.	Vol.	Availability
W'PONDS	511.3 Bib/Atp 1987		AVAILABLE

Description 288 pages : illustrations ; 23 cm Series Artificial intelligence = Künstliche Intelligenz Artificial intelligence (Braunschweig, Germany) Notes Includes index Bibliography Bibliography: pages [265]-280 Subject Automatic theorem proving. LC no. 87170804 ISBN 3528185201

  Permalink