ASPforABA - ASP-based Algorithms for Reasoning in ABA

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Publikation: Andere BeiträgeSonstiger Beitrag

Originalspracheenglisch
Seitenumfang2
PublikationsstatusVeröffentlicht - 2023

Dieses zitieren