Automated theorem proving/
Bibel, W., 1938-
Automated theorem proving/ Wolfgang Bibel. - Braunschweig: F. Vieweg, 1982. - xiii, 292 p.: ill.; 23 cm.
Includes index.
Bibliography: p. [277]-287.
3528085207 : DM27.50
82243531 //r88
Automatic theorem proving.
511.3 / B581a
Automated theorem proving/ Wolfgang Bibel. - Braunschweig: F. Vieweg, 1982. - xiii, 292 p.: ill.; 23 cm.
Includes index.
Bibliography: p. [277]-287.
3528085207 : DM27.50
82243531 //r88
Automatic theorem proving.
511.3 / B581a