Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 1 projektów spełniających kryteria wyszukiwania:

  1. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

    Konkurs: PRELUDIUM 15 , panel: ST6

    Kierownik: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki