Computational aspects of an order-sorted logic with term declarations
著者
書誌事項
Computational aspects of an order-sorted logic with term declarations
（Lecture notes in computer science, 395 . Lecture notes in artificial intelligence）
Springer-Verlag, c1989
- : gw
- : us
- タイトル別名
-
Order-sorted logic with term declarations
大学図書館所蔵 件 / 全60件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references
内容説明・目次
目次
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
「Nielsen BookData」 より