7th School of Theoretical Computer Science and Formal Methods (ETMF)

View Statistics Email Alert RSS Feed

Description

Event name
7th School of Theoretical Computer Science and Formal Methods (ETMF)
 
Event type
Event for scientific audience
 
Start date
06-12-2022
End date
06-12-2022
 
Location
online
Country
Brazil
 
Event format Veranstaltungsformat
Online

Publications Publikationen


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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022