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

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM
Autorzy:: Giero Mateusz
Tematy:: FORMALIZATION
MIZAR
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: TEMPORAL LOGIC MODEL CHECKERS AS APPLIED IN COMPUTER SCIENCE
Autorzy:: Trzesicki Kazimierz
Tematy:: MODEL CHECKING
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: STORING AND RETRIEVING INFORMATION ON THE TREATMENT OF INFERTILITY WITH THE USE OF THE BITEMPORAL DATABASE AND TEMPORAL LOGIC
Autorzy:: Giero Mariusz
Milewski Robert
Tematy:: BITEMPORAL DATABASE
QUERY LANGUAGE
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: TEMPORAL ASPECT IN INFORMATION SYSTEMS
Autorzy:: Surowik Dariusz
Tematy:: INFORMATION SYSTEM
KNOWLEDGE
TEMPORAL LOGIC
TIME
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

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