検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 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状態貸出区分備考 
1U.S. : alk. paper0中央５階洋
  • 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
ISBN0387517057(U.S. : alk. paper)
件名FREE:Logiquesymboliqueetmathématique.
FREE:Tri(Ordinateurs).
LCSH:Logic,Symbolicandmathematical.
LCSH:Sorting(Electroniccomputers)
番号LCCN : 89021790

   
▲ページトップへ