Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
Institute of Mathematics Polish Academy of Sciences
Czasopismo
Banach Center Publications
Rocznik
1977
Tom
2
Numer
1
Identyfikatory
Okładka
Zawartość wolumenu
1
artykuł:
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
(
Banachowski L.
,
Kreczmar A.
,
Mirkowska G.
,
Rasiowa H.
,
Sławicki A.
), s. 7-99
artykuł:
Theory of computing systems
(
Bartol W.
,
Raś Z.
,
Skowron A.
), s. 101-165
artykuł:
An analysis of programs by algebraic means
(
Blikle A.
), s. 167-213
artykuł:
On information storage and retrieval systems
(
Witold Lipski J.
,
Marek W.
), s. 215-259
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.