Wszystkie pola: non-deterministic semantics - 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ę "non-deterministic semantics" wg kryterium: Wszystkie pola

Wyświetlanie 1-7 z 7

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Probabilistic and non-deterministic semantics for iterative programs
Autorzy:: Makarec, Agnieszka
Data publikacji:: 2008
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Probabilistic and non-deterministic semantics for iterative programs
Autorzy:: Makarec, A.
Data publikacji:: 2009
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: program niedeterministyczny
program probabilistyczny
obliczenie probabilistyczne
obliczenie niedeterministyczne
non-deterministic program
probabilistic program
non-deterministic computation
probabilistic computation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: 5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi
Autorzy:: Avron Arnon
Tematy:: INCONSISTENCY
MCI LOGIC
NONDETERMINISTIC MATRIX
PARACONSISTENT LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Probabilistic and non-deterministic semantics for iterative programs
Autorzy:: Makarec, A.
Data publikacji:: 2009
Słowa kluczowe:: program niedeterministyczny
program probabilistyczny
obliczenie probabilistyczne
obliczenie niedeterministyczne
non-deterministic program
probabilistic program
non-deterministic computation
probabilistic computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Autorzy:: Coniglio, Marcelo Esteban
de Toledo, Guilherme Vicentin
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: multialgebras
ordered algebras
non-deterministic semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Note on Ciuciura’s mbC1
Autorzy:: Omori, Hitoshi
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: paraconsistent logic
non-deterministic semantics contra-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Weakly Free Multialgebras
Autorzy:: Coniglio, Marcelo Esteban
Vicentin de Toledo, Guilherme
Data publikacji:: 2021-08-23
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Algebras of terms
universal mapping property
absolutely free algebras
multialgebras
hyperalgebras
non-deterministic algebras
category of multialgebras
non-deterministic semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

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