Zusammenfassung Als eine ihrer wichtigsten theoretischen Grundlagen hat die Logik Bedeutung für fast alle Bereiche der Informatik. Wir wollen diese hier anhand der Bereiche Datenbanken, automatische Verifikation und Komplexitätstheorie erläutern und dabei die Fragestellungen und Ergebnisse unserer beiden Dissertationen vorstellen.
📖 افتح في inklap 🔗 DOI 📮 اطلب بحثاً