Temat: TRANSPARENT INTENSIONAL LOGIC

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ę "TRANSPARENT INTENSIONAL LOGIC" wg kryterium: Temat

Wyświetlanie 1-3 z 3

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Can concepts be defined in terms of sets?
Autorzy:: Marie Duží
Materna Pavel
Data publikacji:: 2010-09-01
Tematy:: procedural semantics
Transparent Intensional Logic
concepts
structured meanings; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Autorzy:: Pezlar Ivo
Data publikacji:: 2017-12-15
Tematy:: logic of problems
algorithmic semantics
procedural semantics
Constructive Type Theory
Transparent Intensional Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Procedurální sémantika TIL
The Procedural Semantics of TIL
Autorzy:: Marie Duží
Tematy:: procedural semantics
transparent
intensional logic
construction
procedural isomorphism
PWS semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-3 z 3

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

Informacja

Wyszukujesz frazę "TRANSPARENT INTENSIONAL LOGIC" wg kryterium: Temat