嶺東科技大學 |

登入

回首頁

A fascinating country in the world of computing : your guide to automated reasoning

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	your guide to automated reasoning
作者:	WosLarry,
出版地:	Singpore
出版者:	World Scientific;
出版年:	c1999
面頁冊數:	xx, 587p.ill. : 23cm.; 1 computer laser optical disc+
標題:	Automatic theorem proving - Congresses. -
附註:	Includes bibliographical references and index.
ISBN:	981-02-3910-6bound

A fascinating country in the world of computing : your guide to automated reasoning
Wos, Larry

A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos - Singpore : World Scientific, c1999. - xx, 587p. ; ill. ; 23cm..
Includes bibliographical references and index..
ISBN 981-02-3910-6
Automatic theorem proving - Congresses.

A fascinating country in the world of computing : your guide to automated reasoning
LDR:00487nam0 2200133 450 001 99029
010 1 $a 981-02-3910-6 $b bound $d NT$3072
100 $a 20100306d2010 m y0engy01 b
101 0 $a eng
200 0 $a A fascinating country in the world of computing $e your guide to automated reasoning $f Larry Wos
210 $a Singpore $d c1999 $c World Scientific
215 1 $a xx, 587p. $c ill. $d 23cm. $e 1 computer laser optical disc
300 $a Includes bibliographical references and index.
606 # 1 $a Automatic theorem proving - Congresses. $3 92783
676 $a 006.333
700 1 $a Wos $b Larry $3 92782
801 0 $b 嶺東科技大學圖書館