Automatisches Beweisen: Methoden und Anwendungen
Cailler, Julie und Rümmer, Philipp (2023) Automatisches Beweisen: Methoden und Anwendungen. Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg 31 (44/45), S. 10-12.Veröffentlichungsdatum dieses Volltextes: 08 Mai 2024 04:58
Artikel
Alternative Links zum Volltext
Beteiligte Einrichtungen
Details
| Dokumentenart | Artikel |
| Titel eines Journals oder einer Zeitschrift | Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg |
| Verlag: | Universitätsverlag Regensburg |
|---|---|
| Band: | 31 |
| Nummer des Zeitschriftenheftes oder des Kapitels: | 44/45 |
| Seitenbereich: | S. 10-12 |
| Datum | 2023 |
| Institutionen | Informatik und Data Science > Allgemeine Informatik > Theoretische Informatik (Prof. Dr. Philipp Rümmer) |
| Dewey-Dezimal-Klassifikation | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik 600 Technik, Medizin, angewandte Wissenschaften > 600 Technik |
| Status | Veröffentlicht |
| Begutachtet | Unbekannt / Keine Angabe |
| An der Universität Regensburg entstanden | Ja |
| Dokumenten-ID | 58141 |
Bibliographische Daten exportieren
Nur für Besitzer und Autoren: Kontrollseite des Eintrags
Weitere Literatur (mittels CORE)
Weitere Literatur (mittels CORE)