Jirm Zlatuska (zlatuska)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Gilbert, David, Hogger, Christopher J. and Zlatuska, Jirm. 1994. “Transforming Specifications of Observable Behaviour into Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 88–103. Berlin: Springer.