Yorumlar: Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers / Elvira Albert (ed.).

Summary goes here

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	Logic programming Computer logic Computer software Logic. Logic Software Programmation logique Logique informatique Logique. Logiciels. logic. software. Computer science. Software engineering. Logic design. Computational complexity. Artificial intelligence. Programming Techniques. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

İlk yorumlayan siz olun!