Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
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:
http://dx.doi.org/10.1007/978-3-642-38197-3
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334552-1001 ONLINE(334552.1)
Searching...

On Order