Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings

＜図書＞
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
(Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence)

出版者	Berlin : Springer
出版年	c1996
コード類	書誌ID=2000710407 NCID=BA27697886
オンライン資料	https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540613137

本文言語	英語
大きさ	xv, 719 p. : ill. ; 24 cm
著者標目	*International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany) Gabbay, Dov M., 1945- Ohlbach, Hans Jürgen
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Reasoning -- Congresses 全ての件名で検索 LCSH:Artificial intelligence -- Congresses 全ての件名で検索
分　類	NDC9:007.13 LCC:QA76.9.A96 DC20:006.3 NDC7:549.9
巻冊次	ISBN:3540613137

配架場所	巻　次	請求記号	資料番号	状　態	コメント	ISBN	刷　年	印刷	予約	利用注記	文献取寄	eDDS
本館・書庫・洋書		004/L497/1085	8270014053			3540613137	1996	印刷					印刷