東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Handbook of logic in computer scienc...

Abramsky, Samson, (1953-)

FindBook

Google Book

Amazon

博客來

Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Handbook of logic in computer science./ edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
其他題名:	Logic and algebraic methods
其他作者:	Abramsky, Samson,
出版者:	Oxford :Clarendon Press ; : 2000.,
附註:	Title from ebook title screen (viewed Jan. 6, 2004).
標題:	Computer science. -
電子資源:	http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98424An electronic book accessible through the World Wide Web; click for information
ISBN:	058548337X (electronic bk.)

Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
Handbook of logic in computer science.Volume 5,Logic and algebraic methods[electronic resource] /Logic and algebraic methodsedited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. - Oxford :Clarendon Press ;2000.

Title from ebook title screen (viewed Jan. 6, 2004).

Includes bibliographical references and indexes.

Made available through NetLibrary; access may be limited to NetLibrary affiliated libraries.

Mode of access: World Wide Web.

ISBN: 058548337X (electronic bk.)Subjects--Topical Terms:

523869
Computer science.
Subjects--Index Terms:

Programming.Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76 / .H2785 2000eb

Dewey Class. No.: 004

Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
LDR:01193cam a2200277 a 45 001 729519
003 OCoLC
005 20080224
006 m d
007 cr cnu---unuuu
008 080224s2000 enk sb 001 0 eng d
020 $a 058548337X (electronic bk.)
035 $a ocm53983677
040 $a N $c N $d OCLCQ
049 $a AMFA
050 1 4 $a QA76 $b .H2785 2000eb
082 0 4 $a 004 $2 22
245 0 0 $a Handbook of logic in computer science. $n Volume 5, $p Logic and algebraic methods $h [electronic resource] / $c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
246 3 0 $a Logic and algebraic methods
260 $a Oxford : $a New York : $c 2000. $b Clarendon Press ; $b Oxford University Press,
500 $a Title from ebook title screen (viewed Jan. 6, 2004).
504 $a Includes bibliographical references and indexes.
506 $a Made available through NetLibrary; access may be limited to NetLibrary affiliated libraries.
538 $a Mode of access: World Wide Web.
650 $a Computer science. $3 523869
650 $a Logic, Symbolic and mathematical. $3 532051
650 $a Informatique. $3 815815
650 $a Logique symbolique et math歋matique. $3 801407
650 $a Ciencia da computacao ou informatica. $2 larpcal $3 817042
650 $a Logica e semantica de programacao. $2 larpcal $3 817043
653 0 $a Programming.
655 $a Electronic books. $2 lcsh $3 542853
700 $a Abramsky, Samson, $d 1953- $3 665172
700 $a Gabbay, Dov M., $d 1945- $3 665173
700 $a Maibaum, Thomas S. E., $d 1947- $3 665174
710 $a NetLibrary, Inc. $3 542851
856 4 $3 Bibliographic record display $u http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98424 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF