Summary goes here
Gorde:
| Formatua: | Liburua |
|---|---|
| Hizkuntza: | ingelesa |
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 9bf957cb-c3b4-4e4d-926d-3d7dea0c86e2 |
| isbn | 9783642322112 3642322115 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 252 pages) :illustrations. |
| publication | – publisher: Springer ScienceBusiness Media dateOfPublication: ©2012 |
| publishDate | ©2012 |
| subjects | |
| title | Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers / [edited by] Germán Vidal. |
| topic | Logic programming Program transformation (Computer programming) Computational complexity Artificial intelligence. Artificial Intelligence Programmation logique Transformation de programme (Informatique) Complexité de calcul (Informatique) Intelligence artificielle. artificial intelligence. Informatique. Computational complexity Logic programming Program transformation (Computer programming) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |