[Baa1987] Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können
| Baaz87OGAI (In proceedings)
|
| Author(s) | Baaz M. |
| Title | "Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" |
| Date | 1987 |
| In | 3. Österreichische Artificial-Intelligence-Tagung |
| Series | Informatik Fachberichte 151 |
| Page(s) | 176--181 |
| Publisher | Springer |
@inproceedings{Baaz87OGAI,
publisher = {Springer},
title = {{Automatisches} {Beweisen} f{\"u}r {Logiksysteme}, in denen {Widerspr\"uche} behandelt werden k{\"o}nnen},
author = {Baaz, M.},
year = {1987},
booktitle = {3.˜\"Osterreichische Artificial-Intelligence-Tagung},
pages = {176--181},
series = {Informatik Fachberichte˜151},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)