dblp.uni-trier.dewww.uni-trier.de

I. O. Babaev Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)