Cover Image

Logic-based program synthesis and transformation 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers

Main Author: Germán Vidal, editor
Format: Book Thesis
Terbitan: [, Springer-Verlag] , 2012
Subjects:
Logic programming > Congresses
Program transformation (computer programming) > Congresses
Computational complexity > Congresses
Online Access: http://lib.ui.ac.id/file?file=digital/2015-10/20410072-Logic-Based Program Synthesis and Transformation.pdf

Internet

http://lib.ui.ac.id/file?file=digital/2015-10/20410072-Logic-Based Program Synthesis and Transformation.pdf

Lokasi

Koleksi contoh Repository Tesis (Open) Universitas Indonesia
Gedung Perpustakaan Universitas Indonesia
Institusi Universitas Indonesia
Kota KOTA DEPOK
Provinsi JAWA BARAT
Kontak Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini.

Lihat Juga