Marion Mircheva (mircheva)

Contributions à Philosophie.ch

Bibliography

Mircheva, Marion. 1994. “Logic Programs with Tests.” 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. 276–292. Berlin: Springer.