Representation Theorems and Theorem Proving in Non-Classical Logics
Rolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247
Erscheinungsjahr: 1999
ISBN/ISSN: 0-7695-0161-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ISMVL.1999.779723
| Geprüft | Bibliothek |
