正題名/作者 : Functional and logic programming/ edited by Oleg Kiselyov, Andy King.
其他題名 : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
其他題名 : FLOPS 2016
其他作者 : Kiselyov, Oleg.
團體作者 : Fuji International Symposium on Functional and Logic Programming
出版者 : Cham :Springer International Publishing :2016.
面頁冊數 : xii, 253 p. :ill., digital ;24 cm.
附註 : 張俊霖捐款購置
標題 : Functional programming (Computer science) - Congresses. -
電子資源 : 線上閱讀(Springer)
ISBN : 9783319296043 (electronic bk.)
ISBN : 9783319296036 (paper)
LEADER 00934cmm 2200229 a 450
001 235554
005 20160910161454.0
008 160330s2016 gw s 0 eng d
020 $a9783319296043 (electronic bk.)
020 $a9783319296036 (paper)
024 7 $a10.1007/978-3-319-29604-3$2doi
035 $a00280584
041 0 $aeng
050 4$aQA76.62$b.F85 2016
082 04$a005.11$223
090 $aE-BOOK/005.11///UE003613
111 2 $aFuji International Symposium on Functional and Logic Programming$n(13th :$d2016 :$cKochi-shi, Japan)$3416938
245 10$aFunctional and logic programming$h[electronic resource] :$b13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /$cedited by Oleg Kiselyov, Andy King.
246 3 $aFLOPS 2016
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2016.
300 $axii, 253 p. :$bill., digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v9613
500 $a張俊霖捐款購置
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aLogic programming$xCongresses.$3179621
650 14$aComputer Science.$3238508
650 24$aSoftware Engineering.$3402744
650 24$aLogics and Meanings of Programs.$3406591
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aMathematical Logic and Formal Languages.$3404934
650 24$aArtificial Intelligence (incl. Robotics)$3401781
650 24$aProgramming Techniques.$3403281
700 1 $aKiselyov, Oleg.$3416939
700 1 $aKing, Andy.$3416940
710 2 $aSpringerLink (Online service)$3374217
830 0$aLecture notes in computer science ;$v9613.$3416941
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=http://dx.doi.org/10.1007/978-3-319-29604-3$z線上閱讀(Springer)