Widok standardowy Widok MARC Widok ISBD

Wprowadzenie do logiki temporalnej /

Klimek, Radosław.

Wprowadzenie do logiki temporalnej / Radosław Klimek. - Kraków : AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999. - 173 strony : ilustracje ; 24 cm. - Skrypty Uczelniane / Akademia Górniczo-Hutnicza im. Stanisława Staszica, 1579 0239-6114 ; . - Skrypty Uczelniane - Akademia Górniczo-Hutnicza im. Stanisława Staszica nr 1579 .

Bibliografia na stronach 155-166.

Subjects--Topical Terms:
Logika
Logika temporalna
Wnioskowanie (logika)
Logika temporalna--podręczniki akademickie.

Index Terms--Genre/Form:
Podręcznik

Universal Decimal Class. No.: 161/164

Drukuj
Cytuj
Zapisz rekord
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8)
Więcej wyszukiwań

Szukaj tytułu w:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.