[BFZ1993c] Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report
| BaazFermZach93TR (Technical report)
|
| Author(s) | Baaz M., Fermüller C. G. and Zach R. |
| Title | "Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" |
| Date | 1993 |
| Institution | Technische Universität Wien, Institut für Computersprachen E185.2 |
| Number | TUW-E185.2-BFZ.1-93 |
@techreport{BaazFermZach93TR,
title = {Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report},
author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
year = {1993},
number = {TUW-E185.2-BFZ.1-93},
institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)