Wyszukiwarka projektów

• Słowa kluczowe: combinatory logic ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 2 projekty spełniających kryteria wyszukiwania:

1. 1. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

   Kierownik: prof. Marek Zaionc

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 6, panel: ST6

2. 2. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

   Kierownik: Łukasz Tadeusz Czajka

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 4, panel: ST6