[Baa1992] Automatisches Beweisen für endlichwertige Logiken
| Baaz92MITMG (Article)
|
| Author(s) | Baaz M. |
| Title | "Automatisches Beweisen für endlichwertige Logiken" |
| Date | 1992 |
| Journal | Mitt. Math. Ges. Hamburg |
| Volume | 12 |
| Number | 4 |
| Page(s) | 1141--1155 |
@article{Baaz92MITMG,
journal = {Mitt. Math. Ges. Hamburg},
volume = {12},
title = {Automatisches {Beweisen} f\"ur endlichwertige {Logiken}},
author = {Baaz, M.},
year = {1992},
pages = {1141--1155},
number = {4},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)