14th Conference on Intelligent Computer Mathematics (CICM 2021)

Event name
14th Conference on Intelligent Computer Mathematics (CICM 2021)
 
Event type
Event for scientific audience
 
Start date
26-07-2021
End date
31-07-2021
 
Location
Timisoara
Country
Romania
 
Event format Veranstaltungsformat
Online

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovacs, Laura Induction in Saturation-Based ReasoningPresentation Vortrag26-Jul-2021