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
シリーズ	Lecture notes in computer science ; 271
データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1987
本文言語	英語
大きさ	iv, 125 p. : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/7018068

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	【故障中】理系図自動書庫	007/L 49	1987		068252188003203		予約・取寄		出庫可能	予約・取寄		出庫可能
	: gw	【故障中】理系図自動書庫	408/L 49	1987		061232004006982		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Bibliography: p. [121]-125
著者標目	*Snyers, Dominique, 1959- Thayse, André, 1940-
件　名	LCSH:Automatic theorem proving LCSH:Algorithms LCSH:Logic programming NDLSH:プログラミング(電子計算機) NDLSH:記号論理学
分　類	LCC:QA76.9.A96 DC19:511.3 NDC8:007.64 NDC8:410.96
書誌ID	1000911072
ISBN	3540182179
NCID	BA00834884
巻冊次	: gw ; ISBN:3540182179 : us ; ISBN:0387182179
登録日	2009.09.16
更新日	2017.02.18