Normal view MARC view

LOPSTR 2010. (20th : 2010 : Hagenberg, Austria) (Meeting Name)

Number of records used in: 1
Preferred form: LOPSTR 2010. (20th : 2010 : Hagenberg, Austria)

Machine generated authority record.

Work cat.: ()947333: Logic-Based Program Synthesis and Transformation, 2011.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India