Rocha, Ricardo.
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / [electronic resource] : edited by Ricardo Rocha, John Launchbury. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6539 0302-9743 ; . - Lecture Notes in Computer Science, 6539 .
9783642183782
10.1007/978-3-642-18378-2 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA76.7-76.73 QA76.76.C65
005.13
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / [electronic resource] : edited by Ricardo Rocha, John Launchbury. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6539 0302-9743 ; . - Lecture Notes in Computer Science, 6539 .
9783642183782
10.1007/978-3-642-18378-2 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA76.7-76.73 QA76.76.C65
005.13