Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""68Nxx"" wg kryterium: Temat


Wyświetlanie 1-6 z 6
Tytuł:
Encoding many-valued logic in $\lambda$-calculus
Autorzy:
Fer-Jan de Vries
Pokaż więcej
Temat:
computer science - logic in computer science
68nxx, 03b50
f.4.1
k.2
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/4900/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/9c98ddd4f2a4472e82572ccc7012a356  Link otwiera się w nowym oknie
Czasopismo naukowe
    Wyświetlanie 1-6 z 6

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies