Proceedings of 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning

Book title Buchtitel
Proceedings of 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning
 
Editor Herausgeber_in
 
Series Schriftenreihe
EPiC Series in Computing
 
Volume Band
100
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rain, Sophie ; Brugger, Lea Salome ; Petković Komel, Anja ; Kovács, Laura ; Rawson, Michael Scaling CheckMate for Game-Theoretic SecurityInproceedings Konferenzbeitrag 2024