国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
From logic design to logic programming : theorem proving techniques and P-functions
書誌情報:From logic design to logic programming : theorem proving techniques and P-functions
Dominique Snyers, André Thayse.
Berlin ; New York : Springer-Verlag , c1987.
iv, 125 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
U.S. : pbk.
0
中央5階洋
007.1
L 49
271
00514569
利用可
一般
選択行を:
書誌詳細
刊年
1987
形態
iv, 125 p. : ill. ; 25 cm.
シリーズ名
Lecture notes in computer science ; 271
注記
Bibliography: p. [121]-125.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Snyers, Dominique, 1959-
Thayse, André, 1940-
分類
LCC:QA76.9.A96
DC19:511.3
ISBN
0387182179(U.S. : pbk.)
件名
LCSH:Automatictheoremproving.
LCSH:Computeralgorithms.
LCSH:Logicprogramming.
番号
LCCN : 87020773
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。