Search results
1 project found matching your search criteria:
-
1. Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4, Panel: ST6