Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications


TOTAL DOCUMENTS

19
(FIVE YEARS 19)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030810962, 9783030810979

Author(s):  
Jaroslav Macke ◽  
Jiri Sedlar ◽  
Miroslav Olsak ◽  
Josef Urban ◽  
Josef Sivic

Author(s):  
Adrian De Lon ◽  
Peter Koepke ◽  
Anton Lorenzen ◽  
Adrian Marti ◽  
Marcel Schütz ◽  
...  

Author(s):  
Márton Hajdu ◽  
Petra Hozzová ◽  
Laura Kovács ◽  
Johannes Schoisswohl ◽  
Andrei Voronkov
Keyword(s):  

Author(s):  
Martin Líška ◽  
Dávid Lupták ◽  
Vít Novotný ◽  
Michal Růžička ◽  
Boris Shminke ◽  
...  

Author(s):  
Liao Zhang ◽  
Lasse Blaauwbroek ◽  
Bartosz Piotrowski ◽  
Prokop Černỳ ◽  
Cezary Kaliszyk ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document