RecordNumber

2986

Author

Bibel, Wolfgang

Title

Automated theorem proving

Author Statement

Wolfgang Bibel

Edition

2d rev. ed

Publication

Frieder, Vieweg

Publication Year

[c1987]

Collation

xiv, 288p.: diagrs

Series

Artificlal intelligence, kunstlicha intelligenz

Bibliography

Bibligraphy: p. [265]-280

Subject

Automatic theorem proving

Main Class

006

Sub Class

.3

Cutter no

B581a

Date

1987

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

soltani^d// , alipour^d2003/11/08 12:23:54