Computational ospects of on order sorted logic with term declarations

RecordNumber
43618
Author
Schmidt, Schaub, M
Title
Computational ospects of on order sorted logic with term declarations
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 :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=43618&Field=0&DTC=2

Schmidt, Schaub, M