Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence

Book title Buchtitel
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
 
ISBN
978-1-956792-04-1
 
Editor Herausgeber_in
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Rozplokhas, Dmitry Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)Inproceedings Konferenzbeitrag 2024