Schmidt, Schaub, M

Title

Computational ospects of on order sorted logic with term declarations

Name: Computational ospects of on order sorted logic with term declarations
Author: Schmidt, Schaub, M

Author Statement

Schaub M. Schmidt

Publication

Springer

Publication Year

[c1989]

Collation

viii, 17 p

Series

Lecture notes in artificial i

Main Class

005

Sub Class

.131

Cutter no

S354c

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

fazel^d//

Link To Document