MARC21 : Conditional and preferential logics : proof methods and theorem proving / - KATALOG GŁÓWNY - Biblioteki Głównej Uniwersytetu Szczecińskiego

Szczegóły MARC21

Conditional and preferential logics : proof methods and theorem proving /


005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,]	@ pole kontrolne 20141023112444.0
020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]	a Numer ISBN 9781607500957
020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]	a Numer ISBN 9781607500940 (print)
040 -Instytucja sporządzająca opis [ , ]	a Instytucja, która sporządziła opis (NP) SZCZ U/JG c Instytucja, która sporządziła rekord (NP) SZCZ U/JG d Instytucja, która zmodyfikowała rekord (P) SZCZ U/MS
041 -Język dokumentu [0, ]	a Język tekstu (P) angielski
044 -Kraj miejsca wydania [ , ]	a Kraj miejsca wydania Niderlandy
942 -Rodzaj dokumentu [ , ]	c Rodzaj dokumentu Książka

100 -Hasło główne - nazwa osobowa [1, ]	9 KHW 75235 a Nazwa osobowa (NP) Pozzato, Gian Luca.

245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0]	a Tytuł Conditional and preferential logics : b Ciąg dalszy tytułu (NP) proof methods and theorem proving / c Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP) Gian Luca Pozzato.
260 -Strefa adresu wydawniczego [ , ]	a Miejsce wydania (P) Amsterdam [etc.] : b Nazwa wydawcy (P) IOS Press, c Data wydania (P) cop. 2010.

300 -Strefa opisu fizycznego [ , ]	a Określenie formy książki i/lub objętość (NP) VIII, 200 s. : b Oznaczenie ilustracji (NP) il. ; c Format (NP) 25 cm.

490 -Strefa serii i książki wielotomowej - forma nie do wyszukiwania [1, ]	a Tytuł (P) Frontiers in Artificial Intelligence and Applications, v Numeracja (P) vol. 208 x ISSN (NP) 0922-6389 ;
830 -Hasło dodatkowe serii i opisu książki wielotomowej - tytuł ujednolicony/tytuł [ ,0]	9 KHW 71535 a Tytuł ujednolicony/tytuł (NP) Frontiers in Artificial Intelligence and Applications v Oznaczenie tomu (NP) 208 x ISSN 0922-6389

504 -Uwaga dot. bibliogr. załącznikowej [ , ]	a Uwaga dot. bibliografii załącznikowej Bibliogr. s. 193-200.

080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]	2 Identyfikator wydania tablic UDC-P058 9 UKD 2467 a Symbol klasyfikacji 164 b Dopowiedzenie Logistyka. Rachunek logiczny. Logika formalna. Logika symboliczna. Znaki i symbolika w logice formalnej. Podstawowe formuły i prawa logiczne. Rachunek zdań. Logika relacji. 4 UKD2 7644 x Poddział wspólny =111 c Dopowiedzenie poddz. wspólnego =Język angielski.
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]	2 Identyfikator wydania tablic UDC-P058 9 UKD 2466 a Symbol klasyfikacji 162 b Dopowiedzenie Wnioskowanie. Wynikanie. Wnioskowanie bezpośrednie. Analogia. Indukcja. Sylogizm. Dedukcja. Dialektyka. Erystyka. Paralogizmy. Sofizmaty. 4 UKD2 7644 x Poddział wspólny =111 c Dopowiedzenie poddz. wspólnego =Język angielski.
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]	2 Identyfikator wydania tablic UDC-P058 9 UKD 4021 a Symbol klasyfikacji 510.6 b Dopowiedzenie Logika matematyczna. 4 UKD2 7644 x Poddział wspólny =111 c Dopowiedzenie poddz. wspólnego =Język angielski.
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]	2 Identyfikator wydania tablic UDC-P058 9 UKD 2242 a Symbol klasyfikacji 007.3 b Dopowiedzenie Sterowanie. Programowanie. 4 UKD2 7644 x Poddział wspólny =111 c Dopowiedzenie poddz. wspólnego =Język angielski.
980 -Symbol UKD [ , ]	a UKD 164:162:510.6:007.3]=111

710 -Hasło dodatkowe - nazwa ciała zbiorowego [2, ]	9 KHW 71517 4 Kod relacji pbl a Nazwa ciała zbiorowego lub nazwa geograficzna jako pierwszy element (NP) IOS Press.

920 -ISBN [ , ]	a ISBN 978-1-60750-094-0 (print)
920 -ISBN [ , ]	a ISBN 978-1-60750-095-7 (online)

Data inwentaryzacji	Lokalizacja	Status udost.	Numer inwentarzowy	Sygnatura
2014-03-26	T	-2	T.15624	T.15624