大葉大學圖書館 |

言語: 日文

Proof technology and computation[ele...

Clark Conference ((2005 :)

Proof technology and computation[electronic resource] /

レコード種別:	言語・文字資料 (印刷物) : 単行資料
[NT 15000414] null:	006.3
タイトル / 著者:	Proof technology and computation/ edited by Helmut Schwichtenberg and Katharina Spies.
その他の著者:	Schwichtenberg, Helmut,
団体名:	Clark Conference
出版された:	Amsterdam ; : IOS Press,, c2006.
記述:	vii, 445 p. ;; 25 cm.
注記:	"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
シリーズ:	NATO science series.
主題:	Automatic theorem proving
主題:	Computer programming
主題:	Computer software - Congresses. - Development
国際標準図書番号 (ISBN) :	9781586036256 (electronic bk.)
国際標準図書番号 (ISBN) :	1586036254
国際標準図書番号 (ISBN) :	9781586036256
[NT 15000227] null:	Includes bibliographical references and index.
電子資源:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586036256

Proof technology and computation[electronic resource] /
Proof technology and computation[electronic resource] /edited by Helmut Schwichtenberg and Katharina Spies. - Amsterdam ;IOS Press,c2006. - vii, 445 p. ;25 cm. - NATO science series.Series III,Computer and systems sciences,v. 2001387-6694 ;.

"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.

Includes bibliographical references and index.

ISBN: 9781586036256 (electronic bk.)

LCCN: 2006927922Subjects--Topical Terms:

136150
Automatic theorem proving

LC Class. No.: QA76.9.A96 / N38 2006

Dewey Class. No.: 006.3

Proof technology and computation[electronic resource] /
LDR:01152cam 2200265 a 4500 001 340397
005 19990915135111.0
008 110621s2006 ne b 101 0 eng d
010 $a 2006927922
020 $a 9781586036256 (electronic bk.)
020 $a 1586036254
020 $a 9781586036256
035 $a (OCoLC)ocm77528062
035 $a 00000054
040 $a TXA $c TXA $d YDXCP $d BAKER $d IUL $d DLC
042 $a lccopycat
050 0 0 $a QA76.9.A96 $b N38 2006
082 0 4 $a 006.3 $2 22
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Proof technology and computation $h [electronic resource] / $c edited by Helmut Schwichtenberg and Katharina Spies.
260 # $a Amsterdam ; $a Washington, DC : $b IOS Press, $c c2006.
300 $a vii, 445 p. ; $c 25 cm.
440 0 $a NATO science series. $n Series III, $p Computer and systems sciences, $x 1387-6694 ; $v v. 200
500 $a "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
500 $a "Published in cooperation with NATO Public Diplomacy Division."
504 $a Includes bibliographical references and index.
650 # 0 $a Automatic theorem proving $3 136150
650 # 0 $a Computer programming $3 168584
650 # 0 $a Computer software $x Development $v Congresses. $3 386207
700 1 # $a Schwichtenberg, Helmut, $d 1942- $3 411877
700 1 # $a Spies, Katharina. $3 411878
856 4 # $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586036256

～に基づいて 0 論評

マルチメディア (複合媒体資料)

マルチメディアファイル
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586036256

論評

論評を追加あなたの考えを共有してください。

Export

受取館