عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.395
QA
76
.
L28
Vol
.
395
کتابخانه
محل استقرار
Computational aspects of an order-sorted logic with term declarations
Berlin
Springer-Verlag
c1989
viii, 171p
Lecture notes in computer science; 593. Lecture notes in artificial intelligence
Bibliography: p.]156[-166
ISBN: 3540517057
M. Schmidt-Schauss
1
، Logic, Symbolic and mathematical
، Sorting )Electronic computers(
QA
76
.
L28
Vol
.
395
Schmidt-Schauss, Manfred
AU
TI
TI Order-sorted logic with term declarations
SE Lecture notes in computer science 395
