Wydawnictwa / Banach Center Publications / Wszystkie tomy

Zawartość tomu 2

• An introduction to algorithmic logic. Metamathematical investigations in the theory of programs L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki Banach Center Publications 2 (1977), 7-99 DOI: 10.4064/-2-1-7-99
  Szczegóły Pobierz zgodnie z CC-BY
• Theory of computing systems W. Bartol, Z. Raś, A. Skowron Banach Center Publications 2 (1977), 101-165 DOI: 10.4064/-2-1-101-165
  Szczegóły Pobierz zgodnie z CC-BY
• An analysis of programs by algebraic means A. Blikle Banach Center Publications 2 (1977), 167-213 DOI: 10.4064/-2-1-167-213
  Szczegóły Pobierz zgodnie z CC-BY
• On information storage and retrieval systems Witold Lipski, Wiktor Marek Banach Center Publications 2 (1977), 215-259 DOI: 10.4064/-2-1-215-259
  Szczegóły Pobierz zgodnie z CC-BY