14th Conference on Intelligent Computer Mathematics (CICM 2021)

View Statistics Email Alert RSS Feed

Description

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