Name Card

Full name Familienname, Vorname
Provetti, Alessandro
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ianni, Giovambattista ; Panetta, Claudio ; Ricca, Francesco Specification of Assessment-Test Criteria through ASP SpecificationsKonferenzbeitrag Inproceedings 2005
2Tompits, Hans ; Woltran, Stefan Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005