Wyniki wyszukiwania: 2.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Recursive programming techniques / William H. Burge. autor Serie: Addison-Wesley Systems Programming Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Reading [etc] : Addison-Wesley Publishing Company, cop. 1975
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 73969.
Combinators, [lambda]-terms and proof theory / Sören Stenlund. autor Serie: Synthese Library
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Dordrecht : D. Reidel Publishing Company, cop. 1972
Inny tytuł:
  • Combinators, L-terms and proof theory
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65136.