Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 7149Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Description: Online-Ressource (Approx. 315 p, digital)ISBN:- 9783642276941
- Deklarative Programmiersprache
- Computer Science
- Computer programming
- Machine theory
- Compilers (Computer programs)
- Computer science
- Software engineering
- Logic design
- Artificial intelligence
- Paperback / softback
- Research
- answer set programming
- distributed systems
- parallelism
- program verification
- simulation and modeling
- 005.13
- 005.45 23
- 005.131 23
- 004
- QA76.7-76.73 QA76.76.C65
- QA76.7-76.73
- QA76.76.C65
No physical items for this record