Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
by
Albert, Elvira. editor.
Title
:
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author
:
Albert, Elvira. editor.
ISBN
:
9783642381973
Physical Description
:
X, 245 p. 36 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7844
Subject Term
:
Computer science.
Software engineering.
Logic design.
Computational complexity.
Artificial intelligence.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 334552-1001 | ONLINE(334552.1) | | Elektronik Kütüphane |