28th International Conference on Automated Deduction (CADE 28)

View Statistics Email Alert RSS Feed

Description

Event name
28th International Conference on Automated Deduction (CADE 28)
 
Event type
Event for scientific audience
 
Start date
12-07-2021
End date
15-07-2021
 
Country
 
Event format Veranstaltungsformat
Online

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido A Normative Supervisor for Reinforcement Learning AgentsKonferenzbeitrag Inproceedings 2021