國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Practical aspects of declarative lan...

(1998 :)

Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Practical aspects of declarative languagesedited by Yuliya Lierler, Walid Taha.
其他題名:	19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
其他題名:	PADL 2017
其他作者:	Lierler, Yuliya.
團體作者:
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	x, 215 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Declarative programming languagesCongresses.
電子資源:	http://dx.doi.org/10.1007/978-3-319-51676-9
ISBN:	9783319516769$q(electronic bk.)

Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /[electronic resource] :PADL 2017edited by Yuliya Lierler, Walid Taha. - Cham :Springer International Publishing :2017. - x, 215 p. :ill., digital ;24 cm. - Lecture notes in computer science,101370302-9743 ;. - Lecture notes in computer science ;4891..

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.

ISBN: 9783319516769$q(electronic bk.)

Standard No.: 10.1007/978-3-319-51676-9doiSubjects--Topical Terms:

455750
Declarative programming languages
--Congresses.

LC Class. No.: QA76.615 / .P33 2017

Dewey Class. No.: 005.13

Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
LDR:01710nmm a2200349 a 4500 001 506126
003 DE-He213
005 20161216090543.0
006 m d
007 cr nn 008maaau
008 171030s2017 gw s 0 eng d
020 $a 9783319516769$q(electronic bk.)
020 $a 9783319516752$q(paper)
024 7 $a 10.1007/978-3-319-51676-9 $2 doi
035 $a 978-3-319-51676-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.615 $b .P33 2017
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.13 $2 23
090 $a QA76.615 $b .P123 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Practical aspects of declarative languages $h [electronic resource] : $b 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings / $c edited by Yuliya Lierler, Walid Taha.
246 3 $a PADL 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a x, 215 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10137
520 $a This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.
650 0 $a Declarative programming languages $v Congresses. $3 455750
650 0 $a Declarative programming $v Congresses. $3 442912
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Computer Appl. in Administrative Data Processing. $3 275283
700 1 $a Lierler, Yuliya. $3 771925
700 1 $a Taha, Walid. $3 468291
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51676-9
950 $a Computer Science (Springer-11645)