• Przejdź do menu głównego
• Przejdź do wyszukiwarki
• Przejdź do treści
• Przejdź do stopki

• Wyszukaj w całym Repozytorium
• Piśmiennictwo i mapy
• Archeologia
• Baza Młynów
• Nauki przyrodnicze

Szukaj w Repozytorium

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa/Tytuł Lokalizacja geograficzna Czasopismo/Seria/cykl Temat i słowa kluczowe

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa/Tytuł Lokalizacja geograficzna Czasopismo/Seria/cykl Temat i słowa kluczowe

n.e. p.n.e.

n.e. p.n.e.

$['SimpleSearchComponent.RemoveBtn']

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Piśmiennictwo i mapy

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Tytuł Czasopismo/Seria/cykl Autor/Twórca Temat i słowa kluczowe Wydawca Data wydania Zakres przestrzenny

n.e. p.n.e.

n.e. p.n.e.

i lub

Tytuł Czasopismo/Seria/cykl Autor/Twórca Temat i słowa kluczowe Wydawca Data wydania Zakres przestrzenny

n.e. p.n.e.

n.e. p.n.e.

$['SimpleSearchComponent.RemoveBtn']

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Archeologia

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa Lokalizacja Rodzaj obiektu Kierownik badań/ Twórca kolekcji Chronologia Czasopismo/Seria/cykl Charakterystyka obiektu- surowiec Numer inwentarzowy

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa Lokalizacja Rodzaj obiektu Kierownik badań/ Twórca kolekcji Chronologia Czasopismo/Seria/cykl Charakterystyka obiektu- surowiec Numer inwentarzowy

n.e. p.n.e.

n.e. p.n.e.

$['SimpleSearchComponent.RemoveBtn']

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Baza Młynów

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa ujednolicona Lokalizacja Rodzaj obiektu

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa ujednolicona Lokalizacja Rodzaj obiektu

n.e. p.n.e.

n.e. p.n.e.

$['SimpleSearchComponent.RemoveBtn']

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Nauki przyrodnicze

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Akronim zielnika Numer/kod Kategoria ponadrodzajowa Nazwa łacińska Nazwa polska Lokalizacja Data zebrania Zbieracz/ Obserwator Typ (nomenklaturowy)

n.e. p.n.e.

n.e. p.n.e.

i lub

Akronim zielnika Numer/kod Kategoria ponadrodzajowa Nazwa łacińska Nazwa polska Lokalizacja Data zebrania Zbieracz/ Obserwator Typ (nomenklaturowy)

n.e. p.n.e.

n.e. p.n.e.

$['SimpleSearchComponent.RemoveBtn']

Dodaj element zapytania

Typ nomenklaturowy

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Obiekt

Pobierz opis bibliograficzny

• ris
• BibTeX
• EndNote
• Csv

• pl en

Zaktualizowano subskrypcję.

Błąd podczas zmiany subskrypcji.

Obiekt planowany

• Opis
• Informacje
• Struktura

Tytuł: Algebraic methods in logic and in computer science

Data wydania/powstania:

1993

Typ zasobu:

Tekst

Więcej

Inny tytuł:

Banach Center Publications, vol. 28

Współtwórca:

Rauszer, Cecylia (1942–1994) : Red.

Wydawca:

Instytut Matematyczny PAN

Miejsce wydania:

Warszawa

Opis:

Bibliogr. przy rozdz ; 342 s. : il. ; 24 cm

Typ obiektu:

Czasopismo/Artykuł

Czasopismo/Seria/cykl:

Banach Center Publications

Format:

application/octet-stream

Identyfikator zasobu:

83-85116-92-3

Źródło:

xx001506106 ; IM PAN, sygn. 62.874 ; IM PAN, sygn. 62.875 ; kliknij tutaj, żeby przejść

Język:

eng

Prawa:

Prawa zastrzeżone - dostęp ograniczony

Zasady wykorzystania:

Zasób chroniony prawem autorskim. Korzystanie dozwolone wyłącznie na terminalach Instytutu Matematycznego PAN w zakresie określonym przez przepisy o dozwolonym użytku.

Digitalizacja:

Muzeum i Instytut Zoologii Polskiej Akademii Nauk ; Instytut Matematyczny Polskiej Akademii Nauk

Lokalizacja oryginału:

Centralna Biblioteka Matematyczna Instytutu Matematycznego PAN

Dofinansowane ze środków:

Program Operacyjny Innowacyjna Gospodarka, lata 2010-2014, Priorytet 2. Infrastruktura strefy B + R ; Unia Europejska. Europejski Fundusz Rozwoju Regionalnego

Dostęp:

Zamknięty

Temat i słowa kluczowe:

Informatyka -- -- -- -- konferencje. [KABA] Logika algebraiczna -- -- -- -- konferencje. [KABA]

Kolekcje, do których przypisany jest obiekt:

• Repozytorium Cyfrowe Instytutów Naukowych > Kolekcje Partnerów > Instytut Matematyczny PAN > Książki
• Repozytorium Cyfrowe Instytutów Naukowych > Kolekcje Partnerów > Instytut Matematyczny PAN > Czasopisma
• Repozytorium Cyfrowe Instytutów Naukowych > Piśmiennictwo > Czasopisma/Artykuły

Data ostatniej modyfikacji:

4 sty 2022

Wszystkie dostępne wersje tego obiektu:

https://rcin.org.pl./publication/51117

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie RDFa:

RDFa

• Banach Center Publications, T.12-33 (1984-1996)
  • Algebraic methods in logic and in computer science, T.28 (1993)
    • Algebraic methods in logic and in computer science, T.28 (1993)
  • Approximation and function spaces, T.22 (1989)
  • Dynamical systems and ergodnic theory, T.23 (1989)
  • Combinatorics and graph theory, T.25 (1989)
  • Computational mathematics, T.13 (1984)
  • Differential geometry, T.12 (1984)
  • Elementary and analytic theory of numbers, T.17 (1985)
  • Functional analysis and operator theory, T.30 (1994)
  • Geometric and algebraic topology, T.18 (1986)
  • Geometry in nonlinear control and differential inclusions, T.32 (1995)
  • Mathematical control theory, T.14 (1985)
  • Mathematical models and methods in mechanics, T.15 (1985)
  • Mathematical problems in computation theory, T.21 (1988)
  • Numerical analysis and mathematical modelling, T.24 (1990)
  • Numerical analysis and mathematical modelling, T.29 (1994)
  • Partial differential equations, T.19 (1987)
  • Partial differential equations, T.27/1 (1992)
  • Partial differential equations, T.27/2 (1992)
  • Sequential methods in statistics, T.16 (1985)
  • Singularities, T.20 (1988)
  • Singularities and differential equations, T.33 (1996)
  • Topics in algebra. Commutative rings and algebr aic groups, T.26/2 (1990)
  • Topics in algebra. Rings and representations of algebras, T.26/1 (1990)
  • Topics in complex analysis, T.31 (1995)

Nazwa wydania	Data

podobne w FBC

Więcej w FBC