[Baa1989b] Automatisches Beweisen für endlichwertige Logiken
| Baaz89KGS (In a collection)
|
| Author(s) | Baaz M. |
| Title | "Automatisches Beweisen für endlichwertige Logiken" |
| Date | 1989 |
| In | Jahrbuch 1989 der Kurt Gödel-Gesellschaft |
| Page(s) | 105--107 |
| Publisher | Kurt Gödel Society |
@incollection{Baaz89KGS,
publisher = {{Kurt} {G\"odel} Society},
title = {Automatisches {Beweisen} f{\"u}r endlichwertige {Logiken}},
author = {Baaz, M.},
year = {1989},
booktitle = {{Jahrbuch} 1989 der {Kurt} {G\"odel}-{Gesellschaft}},
pages = {105--107},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)