Wyszukiwarka projektów

• Słowa kluczowe: language of operation ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

1. 1. Jak język operacji ogranicza komunikację afektu: podstawowe spostrzeżenia neuropoznawcze dla wielojęzycznego, napędzaneg…

   Kierownik: prof. Guillaume Laurent Thierry

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

   Konkurs: OPUS 22, panel: HS6

2. 2. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

   Kierownik: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 2, panel: ST6

3. 3. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 17, panel: ST6

4. 4. Metody wnioskowania o programach w językach wyższego rzędu

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 8, panel: ST6

5. 5. Operatywne teorie wykładni prawa jako akt pragmatyki językowej

   Kierownik: dr hab. Artur Jerzy Kotowski

   Akademia Leona Koźmińskiego

   Konkurs: SONATA 8, panel: HS5

6. 6. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

   Kierownik: dr Karol Pąk

   Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 4, panel: ST6