Institutional Repository
Technical University of Crete
EN  |  EL

Search

Browse

My Space

Alviano_et_al_2022_manuscript.pdf

Is File of Item: Modal logic S5 in Answer Set Programming with lazy creation of worlds
URIhttp://purl.tuc.gr/dl/dias/2D635332-0957-4267-A821-A1A421A4397F-
Title of the FileAlviano_et_al_2022_manuscript.pdf-
Access Restrictionsfree-
Date of Availability2024-12-17-
Content Typeapplication/pdf-
File Size403.0 kBen

Export

Download

Preview

Share
 

Copyright © DIAS 2013