O. Arieli, и A. Avron. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science, стр. 468--476. IEEE Press, (1994)preliminary version of arieli95reasoning.
%0 Conference Paper
%1 AA94
%A Arieli, O.
%A Avron, A.
%B Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science
%D 1994
%I IEEE Press
%K imported
%P 468--476
%T Logical Bilattices and Inconsistent Data
@inproceedings{AA94,
added-at = {2007-11-23T14:13:20.000+0100},
author = {Arieli, O. and Avron, A.},
biburl = {https://www.bibsonomy.org/bibtex/22a6e0735c3c65af41dff79541e739909/ramaz},
booktitle = {Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science},
interhash = {ed42fad3a35dfce2fd74701cf2c3606f},
intrahash = {2a6e0735c3c65af41dff79541e739909},
keywords = {imported},
note = {preliminary version of \cite{arieli95reasoning}},
owner = {Mauro},
pages = {468--476},
publisher = {IEEE Press},
timestamp = {2007-11-23T14:13:21.000+0100},
title = {Logical Bilattices and Inconsistent Data},
year = 1994
}