Catalog

Record Details

Catalog Search



Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann.

Schrijvers, Tom. (editor.). Thiemann, Peter. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642298226
  • Physical Description: X, 333 p. 69 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.

Additional Resources