国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
Computational aspects of an order-sorted logic with term declarations
書誌情報:Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss.
Berlin ; New York : Springer-Verlag , c1989.
viii, 171 p. ; 24 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
U.S. : alk. paper
0
中央5階洋
007.1
L 49
395
00514653
利用可
一般
選択行を:
書誌詳細
刊年
1989
形態
viii, 171 p. ; 24 cm.
別書名
Lecture notes in computer science ; 395. Lecture notes in artificial intelligence
Order-sorted logic with term declarations.
シリーズ名
Lecture notes in computer science.[Lecture notes in artificial intelligence.]
注記
Includes bibliographical references.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Schmidt-Schauss, M. (Manfred)
分類
LCC:QA9
DC20:511.3
ISBN
0387517057(U.S. : alk. paper)
件名
FREE:Logiquesymboliqueetmathématique.
FREE:Tri(Ordinateurs).
LCSH:Logic,Symbolicandmathematical.
LCSH:Sorting(Electroniccomputers)
番号
LCCN : 89021790
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。