Polský informatik, vysokoškolský pedagog, zaměřený na matematické základy informatiky, logiku v umělé inteligenci a databáze.
Source data found
Gabbay, Dov M. - Schmidt, Renate A. - Szałas, Andrzej: Second-order quantifier elimination : foundations, computational aspects and applications, 2008 ; NUKAT, cit.16. 10. 2015 (autoritní forma, datum narození, biografické údaje) ; www(Wydział Matematyik, Informatyki i Mechaniki - Uniwersytetu Warszawskiego - prof. dr hab. Andrzej Szałas), cit. 16. 10. 2015 (biografické údaje)
Database
Soubor osobních jmen a jmen rodin (rodů)
References
(2) - Books
person
Number of the records: 1
openseadragon
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.