Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaKatalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach
Tytuł pozycji:

Logic and computer science : lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 - 28, 1988

Tytuł pełny:
Logic and computer science : lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 - 28, 1988 / ed. P. Odifreddi ; S. Homer [et al.]
Konferencja:
Session of the Centro Internazionale Matematico Estivo (1 ; 1988 ; Montecatini Terme)
Autorzy:
Homer, Steven
Współtwórcy:
Odifreddi, Piergiorgio (1950- ). Redaktor
Wydawca:
Berlin : Springer-Verlag
Rok wydania:
1990
Seria:
Lecture Notes in Mathematics, 0075-8434 ; 1429
Zawartość serii:
Lecture Notes in Mathematics 0075-8434 1429
Opis fizyczny:
[6], 162 s. : rys. ; 25 cm
ISBN:
3540527346
0387527346
Uwagi:
Bibliogr. przy artykułach
Dostępne również w formie elektronicznej
Temat:
Logika symboliczna i matematyczna - konferencje.
Programowanie matematyczne - konferencje.
Złożoność obliczeniowa (informatyka) - konferencje.
Książka
propozycja biblioteki
LDR 02209cam#a2200457#i#4500
001 0192001851309
003 KAT U, KAT 001
005 20220829225840.2
008 021210s1990####gw#a###|#####|10|#||eng|c
020 %a 3540527346 %q Berlin
020 %a 0387527346 %q New York
035 %a zz2002937031
035 %a (NUKAT)vtls000073003
040 %a TOR U/MIMH %c TOR U/MIMH %d TOR U/AP %d TOR U/WS
245 0 0 %a Logic and computer science : %b lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 - 28, 1988 / %c ed. P. Odifreddi ; S. Homer [et al.].
260 # %a Berlin : %b Springer-Verlag, %c 1990.
300 %a [6], 162 s. : %b rys. ; %c 25 cm.
336 %a Tekst %b txt %2 rdacontent
337 %a Bez urządzenia pośredniczącego %b n %2 rdamedia
338 %a Wolumin %b nc %2 rdacarrier
490 1 %a Lecture Notes in Mathematics, %x 0075-8434 ; %v 1429
504 %a Bibliogr. przy artykułach.
530 %a Dostępne również w formie elektronicznej.
650 # %a Logika symboliczna i matematyczna %v konferencje.
650 # %a Programowanie matematyczne %v konferencje.
650 # %a Złożoność obliczeniowa (informatyka) %v konferencje.
700 1 # %a Odifreddi, Piergiorgio %d (1950- ). %e Redaktor
700 1 # %a Homer, Steven.
711 2 # %a Session of the Centro Internazionale Matematico Estivo %n (1 ; %d 1988 ; %c Montecatini Terme).
830 0 %a Lecture Notes in Mathematics %x 0075-8434 %v 1429
856 4 1 %u https://www.infona.pl/resource/isbn/9783540527343
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192001851309 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a 3-540-52734-6 %q Berlin
920 %a 0-387-52734-6 %q New York
982 %a 510.6 %c LOGIC AND %d ODIFREDDI, P. %z Logika matematyczna

Dokumenty przeznaczone do udostępnienia na miejscu

Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
510.6
LOGIC AND
ODIFREDDI, P.
Nr inwentarza:
BM 4578
Wolny dostęp

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz