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

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Modelowanie procesów logistycznych z wykorzystaniem zasady charakteryzacji V.A. Gorbatova
Autorzy:: Kulińska, E.
Data publikacji:: 2009
Słowa kluczowe:: proces logistyczny
zasada charakteryzacji
algebra logiki
modelowanie
logistics processes
specification
algebra of logic
modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Super Rough Semantics
Autorzy:: Mani, A.
Data publikacji:: 2005
Słowa kluczowe:: rough algebra
super rough algebra
rough logic RL
coapproximability
algebraic semantics of rough logics
III-posed rough set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logic families
Autorzy:: Gyenis, Zalán
Sain, Ildikó
Andréka, Hajnal
Németi, István
Data publikacji:: 2024
Słowa kluczowe:: general logics
Lindenbaum-Tarski formula algebra
abstract model theory
universal algebraic logic
tautological congruence
free product of algebras
institutions
logics
conditionally free algebra
abstract algebraic logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Mathematics of the 19th century - recenzja
Autorzy:: Owsiński, Jan Wojciech
Data publikacji:: 2002
Tematy:: Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zastosowanie sterowników logicznych w dydaktyce automatyki
Autorzy:: Drabik, M.
Data publikacji:: 2006
Słowa kluczowe:: dydaktyka automatyki
logika
funkcja logiczna
sterownik logiczny
algebra Boole'a
układ sterowania
programowanie
teaching of automatization
logic
logical function
logical controller
Boolean algebra
control system
programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Automatic Learning of Temporal Relations Under the Closed World Assumption
Autorzy:: Nicoletti, M. C.
Lisboa, F. O. S. S.
Hruschka Jr, E. R.
Data publikacji:: 2013
Słowa kluczowe:: Allen's temporal algebra
automatic learning of temporal relations
inductive logic programming
learning under closed world assumption
time intervals
time points
time representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

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

Informacja

Wyszukujesz frazę "algebra of logic" wg kryterium: Temat