Temat: interactive logic - Prolib Integro

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ę "interactive logic" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Interactive Logic in the Middle Ages
Autorzy:: Sara L. Uckelman
Data publikacji:: 2012-12-01
Tematy:: disputation
interactive logic
obligatio; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: LOGIC PROGRAMMING AND INTERACTIVE APPLICATIONS
Autorzy:: Alexander Šimko
Jozef Šiška
Tematy:: ANSWER SET PROGRAMMING
ASP
INTERACTIVE APPLICATIONS
LOGIC PROGRAMMING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Mechanical Analysis of Finite Idempotent Relations
Autorzy:: Kammüller, F.
Data publikacji:: 2011
Słowa kluczowe:: Formal Specification of Computer Systems
Idempotent Relations
Interactive Theorem Proving
Higher Order Logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A non-self-referential paradox in epistemic game theory
Autorzy:: Karimi, A.
Data publikacji:: 2017
Słowa kluczowe:: non-self-referential paradox
Brandenburger–Keisler paradox
Yablo’s paradox
temporal assumption logic
interactive models; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A non-self-referential paradox in epistemic game theory
Autorzy:: Karimi, Ahmad
Data publikacji:: 2017
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: non-self-referential paradox
Brandenburger–Keisler paradox
Yablo’s paradox
temporal assumption logic
interactive models; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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ę "interactive logic" wg kryterium: Temat