大葉大學圖書館 |

登入

回首頁 到查詢結果 [ subject:"Automatic theorem proving." ]

Mechanizing mathematical reasoning: ...

HutterDieter

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday/ Hutter,Dieter;Stephan,Werner
作者:	HutterDieter
其他作者:	StephanWerner
出版者:	Berlin : Springer-Verlag, 2005
面頁冊數:	563頁; 24x16公分
標題:	Automatic theorem proving.
標題:	Logic,Symbolic and mathematica
標題:	Reasoning -- Automation.
ISBN:	3540250514(平裝)

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
HutterDieter

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th BirthdayHutter,Dieter;Stephan,Werner - BerlinSpringer-Verlag2005 - 563頁24x16公分 - Lecture Notes in Artificial Intelligence2605.

ISBN: 3540250514(平裝)Subjects--Topical Terms:

177613
Automatic theorem proving.

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
LDR:00485nam 2200145 450 001 192692
008 100623t2005 de a a 000 0 eng d
020 $a 3540250514(平裝)
035 $a 9510831
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a HutterDieter $3 218234
245 1 0 $a Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday $c Hutter,Dieter;Stephan,Werner
260 $a Berlin $b Springer-Verlag $c 2005
300 $a 563頁 $c 24x16公分
490 $a Lecture Notes in Artificial Intelligence $v 2605
650 $a Automatic theorem proving. $3 177613
650 $a Logic,Symbolic and mathematica $3 204688
650 $a Reasoning -- Automation. $3 218236
700 $a StephanWerner $3 218235