Williams, J. G.

Title

Instantiation theory; on the foundations of automated deduction

Name: Instantiation theory; on the foundations of automated deduction
Author: Williams, J. G.

Author Statement

J. G. Williams

Publication

Springer

Publication Year

[c1991]

Collation

viii, 133p

Series

Lecture notes in artificial intelligence; 518

Bibliography

Includes bibliographies

Subject

ADDED ENTRIES

^dSeries:Lecture notes in artificial intelligence; 518

Main Class

511

Sub Class

Cutter no

W721i

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

fazel^d//

Link To Document