Widok standardowy Widok MARC Widok ISBD

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.

Autor:

Współtwórca(-y):

Rodzaj materiału: Tekst

TekstSerie: Lecture Notes in Mathematics ; 718Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1979.Opis: X, 243 s. ; 24 cmTyp zawartości:

Tryb odtwarzania:

Typ nośnika:

ISBN:

Tematy:

Zasoby online:

Inna postać fizyczna:

Egzemplarze
Typ dokumentu	Obecna biblioteka	Kolekcja	Sygnatura	Status	Kod kreskowy
Niewypożyczane	Biblioteka Politechniki Poznańskiej w czytelni	Czytelnia	A 160633	Dostępny	0000076624

Liczba zamówień: 0

Bibliogr. s. 234-235. Indeks.

Dostępne również w formie elektronicznej.

Udostępnij

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.