Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).

SOQE@KR. 2021 S. 83 - 91

Erscheinungsjahr: 2021

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Peuter, Dennis (Autor)
Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik