Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
 
Publisher Herausgeber
LNCS
 
Place of publishing Erscheinungsort
12236
 
DOI
10.1007/978-3-030-53518-6
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura ; Lachnitt, Hanna ; Szeider, Stefan Formalizing Graph Trail Properties in Isabelle/HOLKonferenzbeitrag Inproceedings 2020