000 01842aam a2200433 i 4500
005 20250914164843.0
006 m d
007 cr nn 008maaau
008 090212s2006 gw q j eng d
020 _a9783540334392 (electronic bk.)
035 _a(Springer)978-3-540-33438-5
039 9 _a200902121949
_bmuhaimin
_y04-04-2008
_zmuhaimin
050 0 0 _aQA76.62
_b.F84 2006
082 0 0 _a005.114
_222
111 2 _aFuji International Symposium on Functional and Logic Programming
_n(8th :
_d2006 :
_cSusono-shi, Japan)
245 1 0 _aFunctional and Logic Programming
_h[electronic resource] :
_b8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
_cedited by Masami Hagiya, Philip Wadler.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
300 _ax, 293 p. :
_bill., digital ;
_c24 cm.
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3945
650 0 _aFunctional programming (Computer science)
_vCongresses.
650 0 _aLogic programming
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics)
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
700 1 _aHagiya, Masami.
700 1 _aWadler, Philip.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11737414
907 _a.b1414363x
_b2024-05-16
_c2019-11-12
942 _n0
914 _avtls003371928
998 _ae0001
_b2008-04-04
_cm
_dz
_feng
_ggw
_y0
_z.b1414363x
999 _c410343
_d410343