<図書>

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert

(Lecture notes in computer science;568 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Berlin 39:L:1.568 2012388076

6116/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer Verlag
出版年 c1991
大きさ x, 116 p. ; 25 cm
一般注記 Includes bibliographical references (p. [101]-109) and indexes
著者標目 *Bürckert, Hans-Jürgen
件 名 LCSH:Logic programming
LCSH:Logic, Symbolic and mathematical
本文言語 英語
書誌ID 2000216619
ISBN 3540550348
NCID BA13597894 WCLINK

検索結果一覧に戻る ページトップ