Options
Title
Logik in der Informatik
Person Involved
Corporate Author
Gesellschaft für Informatik -GI-, Fachgruppe 0.1.6 Logik in der Informatik
Publisher
Publishing Place
Karlsruhe
Publication Date
1995
Series
Universität Karlsruhe, Fakultät für Informatik. Interner Bericht; 95,23