Bookmark

Report an Issue

Automated theorem proving / Wolfgang Bibel

Author: Bibel, W., 1938-
Published: Braunschweig : F. Vieweg, 1987.
Edition: 2nd rev. ed.
Physical Description: xiv, 288 pages : illustrations ; 23 cm

Availability

Browse Nearby on Shelf

Finding items...

Series

Artificial intelligence (Braunschweig, Germany)

Subject(s)

Automatic theorem proving

ISBN

3528185201

Note

Includes index.

Bibliography Note

Bibliography: pages [265]-280.

View MARC record | catkey: 321896