Boolean quantification in a first-order context

Boolean quantification in a first-order context

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Seidl, Andreas (VerfasserIn)
Weitere Verfasser: Sturm, Thomas (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Passau Univ., Fak. für Mathematik und Informatik 2003
Schriftenreihe:MIP / Universität Passau Fakultät für Mathematik und Informatik 0304
Schlagworte:
Forschungsbericht
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Auch im Internet unter der Adresse http://www.fmi.uni-passau.de/forschung/mip-berichte/index.php3.de verfügbar. - Literaturverz. S. 25 - 26
Beschreibung:26, 3 S.
Ill., graph. Darst.
21 cm