Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | SpringerLink (Online service) |
Autres auteurs: | Ferreira, Fernando (Éditeur intellectuel), Löwe, Benedikt (Éditeur intellectuel), Mayordomo, Elvira (Éditeur intellectuel), Gomes, Luís Mendes (Éditeur intellectuel) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
Édition: | 1st ed. 2010. |
Collection: | Theoretical Computer Science and General Issues,
6158 |
Sujets: | |
Accès en ligne: | Texto Completo |
Documents similaires
-
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /
Publié: (2010) -
Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
Publié: (2009) -
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /
Publié: (2005) -
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
Publié: (2008) -
Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
Publié: (2006)