Automated Reasoning 11th International Joint Conference, IJCAR 2022

View Statistics Email Alert RSS Feed

Description

Event name
Automated Reasoning 11th International Joint Conference, IJCAR 2022
 
Event type
Event for scientific audience
 
Start date
08-08-2022
End date
10-08-2022
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir ; Blanchette, Jasmin ; Kovacs, Laura ; Pattinson, Dirk Actions over Core-Closed Knowledge BasesInproceedings Konferenzbeitrag 2022