Automated theoren proving: after 25 years

Editor

W. W. Bledose ¶ D. W. Loveland editores

Publication

American mathematical society

Publication Year

[c1984]

Collation

ix, 360 p

Series

Contemporary nathemati8cs; v 29

Subject

Automatic theoren proving congresses

ADDED ENTRIES

Bledose, W. W,. jt.ed , Loweland, Donold , ^dSeries: Contemporary anathematics, v. 2d

Main Class

511

Sub Class

Cutter no

A939

وارد كنندة اطلاعات

zare 1027^d//

Link To Document