Projects search

• Keywords: dowodzenie twierdzeń ×

Change search criteria ↓

Search results

7 projects found matching your search criteria:

1. 1. Machine learning and automatic theorem proving

   Principal investigator: dr hab. Henryk Michalewski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 15, Panel: ST6

2. 2. Deep Neural Architectures for Automated Theorem Proving

   Principal investigator: Bartosz Paweł Piotrowski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: PRELUDIUM 15, Panel: ST6

3. 3. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

   Principal investigator: dr hab. Dorota Leszczyńska-Jasion

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

   Call: SONATA BIS 7, Panel: HS1

4. 4. Finding Applications for Logic with Partial Functions

   Principal investigator: dr hab. Jean Marie de Nivelle

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 9, Panel: ST6

5. 5. Automatisation of constructive logic

   Principal investigator: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 4, Panel: ST6

6. 6. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

   Principal investigator: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6

7. 7. Decision procedures in verification

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6