Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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


Book Informaton

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

Author

Germán Vidal

Series

Lecture Notes in Computer Science

Volume

7225

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

X, 254

Language

EN

ISBN

9783642322105, 9783642322112

ARI Id

1664981647308


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-3
4-24
25-41
42-56
57-72
73-89
90-105
106-122
123-138
139-154
155-172
173-188
189-204
205-220
221-236
237-252
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries