AtheneForschung - Research Portal of the UniBw M

User: Guest

Home / All Content

Publications (University Bibliography)

Fakultäten (univ.) (21746)

Fakultät für Bauingenieurwesen und Umweltwissenschaften (3615)

Fakultät für Elektrotechnik und Informationstechnik (2057)

Fakultät für Humanwissenschaften (2286)

Fakultät für Informatik (3290)

INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research (269)

INF 2 - Institut für Softwaretechnologie (929)

INF 3 - Institut für Technische Informatik (971)

INF 4 - Institut für Angewandte Informatik (285)

INF 5 - Institut für Anwendungssicherheit (340)

INF 6 - Institut für Systemsicherheit (165)

INF 7 - Institut für Datensicherheit (265)

INF 8 - Institut für Schutz und Zuverlässigkeit (19)

Fakultät für Luft- und Raumfahrttechnik (5305)

Fakultät für Staats- und Sozialwissenschaften (2658)

Fakultät für Wirtschafts- und Organisationswissenschaften (2559)

Fakultäten (HAW) (1719)

Forschungszentren und -initiativen (2004)

Weitere Einrichtungen (17)

Projects

Electronic Accepted Theses

Open Access Publications

Patents

Research Data

Research Profiles

Videos for the UniBw M Website

Digitized Media

Working Group E-Learning

University Library Documents

Home / Alle InhaltePublikationen (Universitätsbibliografie)Fakultäten (univ.)Fakultät für InformatikINF 2 - Institut für SoftwaretechnologieGuentzer-Schmidt-Kempf-Moeller-89

Authors:

Güntzer, Ulrich; Schmidt, Gunther; Kempf, Michael; Möller, Bernhard

Document type:

Sonstiges / Other Publication

Title:

Mathematische Logik

Series title:

TUM-INFO

Series volume:

8900

Year:

1989

Pages (Book):

136

Language:

Deutsch

Department:

Fakultät für Informatik

Institute:

INF 2 - Institut für Softwaretechnologie

Chair:

Schmidt, Gunther

Occurrences:

Home / Alle Inhalte Publikationen (Universitätsbibliografie)Fakultäten (univ.)Fakultät für Informatik INF 2 - Institut für Softwaretechnologie