このページのリンク

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert
(Lecture notes in computer science ; 568 . Lecture notes in artificial intelligence)

データ種別 図書
出版者 Berlin ; New York : Springer Verlag
出版年 c1991
本文言語 英語
大きさ x, 116 p. ; 25 cm

所蔵情報を非表示

書庫2階 QA:76.6:B873:1991

000660288

書誌詳細を非表示

一般注記 Includes bibliographical references (p. [101]-109) and indexes
著者標目 *Bürckert, Hans-Jürgen
件 名 LCSH:Logic programming
LCSH:Logic, Symbolic and mathematical
巻冊次 : Berlin ; ISBN:3540550348 REFWLINK
: New York ; ISBN:0387550348 REFWLINK
ISBN 3540550348
NCID BA13597894 WCLINK
目次/あらすじ

 類似資料