Jirm Zlatuska (zlatuska)
Contributions à 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.