Undecidability of First-Order Logic

Berufungsvorträge "Mathematische ogik mit Berücksichtigung der Grundlagen der Informatik" Didaktischer Vortrag | 09.10.2018 09:00 - 09:25

Ana Sokolova (Universität Salzburg)

Organiser: