切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Functional and constraint logic programming28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /
正題名/作者 ： Functional and constraint logic programming/ edited by Michael Hanus, Claudio Sacerdoti Coen.
其他題名 ： 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /
其他題名 ： WFLP 2020
其他作者 ： Hanus, Michael.
團體作者 ： WFLP (Workshop)
出版者 ： Cham :Springer International Publishing :2021.
面頁冊數 ： vii, 145 p. :ill. (some col.), digital ;24 cm.
Contained By ： Springer Nature eBook
標題 ： Functional programming (Computer science) - Congresses. -
電子資源 ： 線上閱讀(Springer)
ISBN ： 9783030753337$q(electronic bk.)
ISBN ： 9783030753320$q(paper)
LEADER 01140cmm a2200277 a 450
001 333372
003 DE-He213
005 20210505170437.0
006 m d
007 cr nn 008maaau
008 210505s2021 sz s 0 eng d
020 $a9783030753337$q(electronic bk.)
020 $a9783030753320$q(paper)
035 $a00390815
041 0 $aeng
050 4$aQA76.62$b.W45 2020
082 04$a005.114$223
090 $aE-BOOK/$a005.114///UE052160
111 2 $aWFLP (Workshop)$n(28th :$d2020 :$cOnline)$3596333
245 10$aFunctional and constraint logic programming$h[electronic resource] :$b28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /$cedited by Michael Hanus, Claudio Sacerdoti Coen.
246 3 $aWFLP 2020
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2021.
300 $avii, 145 p. :$bill. (some col.), digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v12560
490 1 $aTheoretical computer science and general issues
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aConstraint programming (Computer science)$vCongresses.$3421450
650 0$aLogic programming$xCongresses.$3179621
650 14$aLogics and Meanings of Programs.$3406591
650 24$aProgramming Techniques.$3403281
650 24$aComputer Hardware.$3404581
650 24$aMathematical Logic and Formal Languages.$3404934
650 24$aComputer System Implementation.$3404747
650 24$aSpecial Purpose and Application-Based Systems.$3406939
700 1 $aHanus, Michael.$3596334
700 1 $aSacerdoti Coen, Claudio.$3596335
710 2 $aSpringerLink (Online service)$3374217
773 0 $tSpringer Nature eBook
830 0$aLecture notes in computer science ;$v12560.$3596336
830 0$aTheoretical computer science and general issues.$3538300
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=https://doi.org/10.1007/978-3-030-75333-7$z線上閱讀(Springer)
950 $aComputer Science (SpringerNature-11645)
Functional and constraint logic programming28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /[electronic resource] :WFLP 2020edited by Michael Hanus, Claudio Sacerdoti Coen. - Cham :Springer International Publishing :2021. - vii, 145 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,125600302-9743 ;. - Lecture notes in computer science ;12560..
ISBN: 9783030753337$q(electronic bk.)Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.62 / .W45 2020
Dewey Class. No.: 005.114
ISBN: 9783030753337$q(electronic bk.)Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.62 / .W45 2020
Dewey Class. No.: 005.114
- 館藏(1)
- 心得(0)
- 標籤
- 相同喜好的讀者(0)
- 相關資料(0)
發表心得