Kolloquiumsvortrag

Armin Biere (Visiting person)

Institute of Formal Models and Verification

Activity: Other › Outgoing (legacy data)

Description

Passau, Deutschland

Period	07 Dec 2010 → 08 Dec 2010

Fields of science

102 Computer Sciences
101 Mathematics
102011 Formal languages

JKU Focus areas

Computation in Informatics and Mathematics