MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2
1. Verfasser:	Bozzelli, Laura (VerfasserIn)
Weitere Verfasser:	Murano, Aniello (VerfasserIn), Peron, Adriano (VerfasserIn)
Pages:	17
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Keine Beschreibung verfügbar.