Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, Internatio
121,02 €
Program Specification and Synthesis in Constructive Formal Systems. - Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof. - Towards Stepwise, Schema-guided Synthesis of Logic Programs.
Jetzt bei Ebay:
