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:

λ-Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975

Tytuł pełny:
λ-Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 / ed. by C. Böhm ; IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Wariant tytułu:
Lambda-Calculus and computer science theory
Autorzy:
Consiglio Nazionale delle Ricerche. Istituto per le applicazioni del calcolo "Mauro Picone"
Współtwórcy:
Böhm, Corrado (1923- ). Redaktor
Wydawca:
Berlin [etc.] : Springer-Verlag
Rok wydania:
1975
Seria:
Lecture Notes in Computer Science, 0302-9743 ; 37
Zawartość serii:
Lecture Notes in Computer Science 0302-9743 37
Opis fizyczny:
XII, 370 s. : il. ; 25 cm
ISBN:
3540074163
0387074163
Uwagi:
Materiały z konferencji, która odbyła się w Rzymie w dniach 25-27 marca 1975
Bibliogr. przy ref
Dostępne również w formie elektronicznej
Temat:
Logika kombinatoryczna - konferencje.
Języki programowania - konferencje.
Książka
propozycja biblioteki
LDR 02307cam#a2200433#i#4500
001 0192102497389
003 KAT U, KAT 001
005 20220829230509.5
008 091222s1975####gw#a###f#####|100#0#eng#c
020 %a 3540074163
020 %a 0387074163
035 %a xx001495112
035 %a (NUKAT)vtls001495112
040 %a KAT U/22AS %c KAT U/22ASs %d KAT U/22AS %d TOR U/WS
245 0 0 %a λ-Calculus and computer science theory : %b proceedings of the Symposium held in Rome, March 25-27, 1975 / %c ed. by C. Böhm ; IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche.
246 3 0 %a Lambda-Calculus and computer science theory
260 # %a Berlin [etc.] : %b Springer-Verlag, %c 1975.
300 %a XII, 370 s. : %b il. ; %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 Computer Science, %x 0302-9743 ; %v 37
500 %a Materiały z konferencji, która odbyła się w Rzymie w dniach 25-27 marca 1975.
504 %a Bibliogr. przy ref.
530 %a Dostępne również w formie elektronicznej.
650 # %a Logika kombinatoryczna %v konferencje.
650 # %a Języki programowania %v konferencje.
700 1 # %a Böhm, Corrado %d (1923- ). %e Redaktor
710 2 # %a Consiglio Nazionale delle Ricerche. %b Istituto per le applicazioni del calcolo "Mauro Picone".
830 0 %a Lecture Notes in Computer Science %x 0302-9743 %v 37
856 4 1 %u https://www.infona.pl/resource/isbn/9783540074168
856 4 # %u https://integro.ciniba.edu.pl/integro/index.php?r=site/recorddetail&id=0192102497389 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a 3-540-07416-3
920 %a 0-387-07416-3
982 %a 004.4 %c Λ-CALCULUS AND %d BÖHM, C. %z Oprogramowanie. Systemy komputerowe. Programy komputerowe i języki programowania ogólnie

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Magazyn
Sygnatura:
198412
Nr inwentarza:
BG 198412
Dostępny

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