I. O. Babaev

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

1 I. O. Babaev: Problem Specification and Program Synthesis in the System SPORA. J. Log. Program. 9(2&3): 141-157 (1990)