Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings


Book Informaton

Author

Emanuele De Angelis; Wim Vanhoof

Series

Lecture Notes in Computer Science

Volume

13290

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

IX, 177

Language

en

ISBN

9783030988685, 9783030988692

ARI Id

1665371520548


Find on

World Cat

Internet Archive


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

Join our Whatsapp Channel to get regular updates.