|
" Logic-Based Program Synthesis and Transformation "
edited by María Alpuente.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
577931
|
| Doc. No
|
:
|
b407150
|
| Main Entry
|
:
|
Alpuente, María.
|
| Title & Author
|
:
|
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /\ edited by María Alpuente.
|
| Publication Statement
|
:
|
Berlin, Heidelberg :: Springer Berlin Heidelberg,, 2011.
|
| Series Statement
|
:
|
Lecture Notes in Computer Science,; 6564
|
| ISBN
|
:
|
9783642205507
|
|
|
:
|
: 9783642205514
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Software engineering.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Algorithms.
|
| Added Entry
|
:
|
SpringerLink (Online service)
|
| |