[BFSZ1996] MUltlog 1.0: Towards an Expert System for Many-valued Logics
| BaazFermSalzZach96CADE (In proceedings)
|
| Author(s) | Baaz M., Fermüller C. G., Salzer G. and Zach R. |
| Title | "MUltlog 1.0: Towards an Expert System for Many-valued Logics" |
| Date | 1996 |
| In | 13th Int. Conf. on Automated Deduction (CADE'96) |
| Series | LNCS (LNAI) 1104 |
| Page(s) | 226--230 |
| Publisher | Springer |
@inproceedings{BaazFermSalzZach96CADE,
publisher = {Springer},
title = {{MUltlog} 1.0: Towards an Expert System for Many-valued Logics},
author = {Baaz, M. and Fermüller, C. G. and Salzer, G. and Zach, R.},
booktitle = {13th Int. Conf. on Automated Deduction (CADE'96)},
year = {1996},
pages = {226--230},
series = {LNCS (LNAI) 1104},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)