%0 Conference Paper %1 conf/cade/BaazFSZ96 %A Baaz, Matthias %A Fermüller, Christian G. %A Salzer, Gernot %A Zach, Richard %B CADE %D 1996 %E McRobbie, Michael A. %E Slaney, John K. %I Springer %K dblp %P 226-230 %T MUltlog 1.0: Towards an Expert System for Many-Valued Logics. %U http://dblp.uni-trier.de/db/conf/cade/cade96.html#BaazFSZ96 %V 1104 %@ 3-540-61511-3

@inproceedings{conf/cade/BaazFSZ96, added-at = {2024-02-05T00:00:00.000+0100}, author = {Baaz, Matthias and Fermüller, Christian G. and Salzer, Gernot and Zach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2e7bb9847c73e6e884e8de8f573ac6b54/dblp}, booktitle = {CADE}, crossref = {conf/cade/1996}, editor = {McRobbie, Michael A. and Slaney, John K.}, ee = {https://doi.org/10.1007/3-540-61511-3_84}, interhash = {c075820008be1454b9b3354c65da2e72}, intrahash = {e7bb9847c73e6e884e8de8f573ac6b54}, isbn = {3-540-61511-3}, keywords = {dblp}, pages = {226-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:18:07.000+0200}, title = {MUltlog 1.0: Towards an Expert System for Many-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#BaazFSZ96}, volume = 1104, year = 1996 }