Catalog

Record Details

Catalog Search



Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings  Cover Image E-book E-book

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo.

Record details

  • ISBN: 9783540789697
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).

Electronic resources



Additional Resources