東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Logic based program synthesis and transformation = 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic based program synthesis and transformation/ Maurice Bruynooghe (ed.).
其他題名:	13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
其他題名:	LOPSTR 2003
其他作者:	Bruynooghe, M.
團體作者:	LOPSTR 2003
出版者:	Berlin ;Springer, : c2004.,
面頁冊數:	x, 232 p. :fig., tab. ;24 cm.
附註:	Title from ebook title screen (viewed on Apr. 22, 2005).
叢書名:	Lecture notes in computer science ;
標題:	Logic programming - Congresses. -
電子資源:	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=129862An electronic book accessible through the World Wide Web; click for information
ISBN:	3540259384 (electronic bk.)

Logic based program synthesis and transformation = 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Logic based program synthesis and transformation13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /[electronic resource] :LOPSTR 2003Maurice Bruynooghe (ed.). - Berlin ;Springer,c2004. - x, 232 p. :fig., tab. ;24 cm. - Lecture notes in computer science ;3018.

Title from ebook title screen (viewed on Apr. 22, 2005).

Includes bibliographical references and index.

Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2005.

Available via World Wide Web.

ISBN: 3540259384 (electronic bk.)Subjects--Topical Terms:

840448
Logic programming
--Congresses.Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76.63 / .L69 2003eb

Dewey Class. No.: 005.115

Logic based program synthesis and transformation = 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
LDR:01393cmm a2200301 a 45 001 738885
003 OCoLC
005 20080425
006 m d
007 cr cnu---unuuu
008 250519s2004 gw sb 101 0 eng d
020 $a 3540259384 (electronic bk.)
035 $a ocm59284819
035 $a 738885
040 $a N $c N $d OCL
049 $a AMFA
050 1 4 $a QA76.63 $b .L69 2003eb
082 0 4 $a 005.115 $2 22
111 $a LOPSTR 2003 $d (2003 : $c Uppsala, Sweden) $3 840447
245 1 0 $a Logic based program synthesis and transformation $h [electronic resource] : $b 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / $c Maurice Bruynooghe (ed.).
246 3 0 $a LOPSTR 2003
260 $a Berlin ; $a New York : $c c2004. $b Springer,
300 $a x, 232 p. : $b fig., tab. ; $c 24 cm.
440 0 $a Lecture notes in computer science ; $v 3018
500 $a Title from ebook title screen (viewed on Apr. 22, 2005).
504 $a Includes bibliographical references and index.
530 $a Also issued online.
533 $a Electronic reproduction. $b Boulder, Colo. : $c NetLibrary, $d 2005. $n Available via World Wide Web. $n Access may be limited to NetLibrary affiliated libraries. $n E-book has publication date of 2005.
650 $a Logic programming $v Congresses. $3 840448
655 $a Electronic books. $2 lcsh $3 542853
700 $a Bruynooghe, M. $q (Maurice) $3 840446
710 $a NetLibrary, Inc. $3 542851
856 4 0 $3 Bibliographic record display $u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=129862 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF