國立虎尾科技大學 |

Language: English

Back

Proof technology and computation

Workshop on the Preservation of Stability under Discretization ((2001 :)

Proof technology and computation

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proof technology and computation/ edited by Helmut Schwichtenberg and Katharina Spies.
other author:	Schwichtenberg, Helmut,
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Amsterdam ;IOS Press, : c2006.,
Description:	vii, 445 p. ;25 cm.;
Notes:	"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
Series:	NATO science series.
Subject:	Automatic theorem proving - Congresses. -
Online resource:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586036256
ISBN:	1586036254

Proof technology and computation
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: 1586036254

LCCN: 2006927922Subjects--Topical Terms:

665433
Automatic theorem proving
--Congresses.

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

Dewey Class. No.: 006.3

Proof technology and computation
LDR:01152cam 2200265 a 4500 001 621579
005 19991026085530.0
008 100106s2006 ne b 101 0 eng d
010 $a 2006927922
020 $a 1586036254
020 $a 9781586036256
020 $a 9781586036256 (electronic bk.)
035 $a 00000054
035 $a (OCoLC)ocm77528062
040 $a TXA $c TXA $d BAKER $d DLC $d IUL $d YDXCP
042 $a lccopycat
050 0 0 $a QA76.9.A96 $b N38 2006
082 0 4 $2 22 $a 006.3
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Proof technology and computation $c edited by Helmut Schwichtenberg and Katharina Spies. $h [electronic resource] /
260 $a Amsterdam ; $a Washington, DC : $c c2006. $b IOS Press,
300 $a vii, 445 p. ; $c 25 cm.
440 0 $a NATO science series. $n Series III, $p Computer and systems sciences, $v v. 200 $x 1387-6694 ;
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 $v Congresses. $3 665433 $3 727761
650 0 $a Computer programming $v Congresses. $3 528620
650 0 $a Computer software $x Development $v Congresses. $3 574593 $3 727349
700 1 $a Schwichtenberg, Helmut, $d 1942- $3 665434
700 1 $a Spies, Katharina. $3 665435
856 4 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586036256

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library