На данной странице предаставлены все книги автора «Gopal Gupta»
Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Gopal Gupta,Ricardo Peña)