CICM: International Conference on Intelligent Computer Mathematics 2025

View Statistics Email Alert RSS Feed

Description

Event name
CICM: International Conference on Intelligent Computer Mathematics 2025
 
Event type
Event for scientific audience
 
Start date
06-10-2025
End date
10-10-2025
 
Location
Brazil
Country
Brazil
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu, Márton ; Hozzová, Petra ; Kovacs, Laura ; Voronkov, Andrei ; Wagner, Eva Maria ; Žilinčík, Richard Steven Synthesis Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 8-Oct-2025