Theory and Practice of Logic Programming

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theory and Practice of Logic Programming
 
Series Schriftenreihe
Theory and Practice of Logic Programming
 

Publications Publikationen

Filter:
Author:  ALVIANO, MARIO

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019