Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /

Show other versions (2)

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and sele...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Vidal, Germán (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Edition:1st ed. 2012
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 7225.
LNCS sublibrary Theoretical computer science and general issues 7225
Subjects:
Artificial intelligence
Computer logic
Computer programming
Computer science > Mathematics
Computer science
Computer science-Mathematics
Discrete mathematics
Logic, Symbolic and mathematical
Machine theory
Software engineering
Programming Techniques
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Discrete Mathematics in Computer Science
Formal Languages and Automata Theory
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items