Dynamic logic new trends and applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Bibliographische Detailangaben

Körperschaft:	DaLí (VerfasserIn)
Weitere Verfasser:	Barbosa, Luís Soares (HerausgeberIn), Baltag, Alexandru (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12005
Schlagworte:	Konferenzschrift > Logische Programmierung
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!