@inproceedings{DBLP:conf/aii/RasiowaS85,
author = {Helena Rasiowa and
Andrzej Skowron},
title = {Approximation logic},
booktitle = {Mathematical Methods of Specification and Synthesis of Software
Systems},
year = {1985},
pages = {123-139},
ee = {http://dx.doi.org/10.1007/3-540-16444-8_8},
crossref = {DBLP:conf/aii/1985},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aii/1985,
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Mathematical Methods of Specification and Synthesis of Software
Systems '85, Proceedings of the International Spring School,
Wendisch-Rietz, GDR, April 22-26, 1985},
booktitle = {Mathematical Methods of Specification and Synthesis of Software
Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {215},
year = {1986},
isbn = {3-540-16444-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2008-08-06 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
