Catalog

3451 Views
20.06.2016

21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution

Formale Grundlagen der Informatik I (SoSe 16)

Links

Citation2Go