Practical Aspects of Automated Reasoning 2022

Event name
Practical Aspects of Automated Reasoning 2022
 
Event type
Event for scientific audience
 
Start date
11-08-2022
End date
12-08-2022
 
Location
Haifa
Country
Israel
 
Conference Track
Single Track
Organizing institution Veranstaltende Institution
Technion
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022