Morazán, Marco T.

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / [electronic resource] : edited by Marco T. Morazán, Sven-Bodo Scholz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6041 0302-9743 ; . - Lecture Notes in Computer Science, 6041 .

9783642164781

10.1007/978-3-642-16478-1 doi


Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Programming Techniques.

QA76.9.L63 QA76.5913 QA76.63

005.1015113

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue