عنوان
پدید آورنده
موضوع
رده
QA 9 .S343 1989
QA
9
.
S343
1989
کتابخانه
محل استقرار
91690
آخر۲۷
English
)20(
Schmidt-Schauss, Manfred
Computational aspects of an order-sorted logic with term declarations
Berlin, New York
Springer-Verlag
1989
viii, 171 p. ; 24 cm
Lecture notes in computer science, 593
Includes bibliographical references
، Logic, Symbolic and mathematical
، Sorting )Electronic computers(
QA
9
.
S343
1989
AU
M. Schmidt-Schauss
TI
TI Order-sorted logic with term declarations
SE Lecture notes in computer science, 395
SE Lecture notes in computer science, Lecture notes in artificial intelligence
02
