Form of Work
Książki
(1)
Status
available
(1)
only on-site
(1)
Branch
Wypożyczalnia
(1)
Czytelnia - Magazyn
(1)
Author
Moczurad Małgorzata
(1)
Year
2000 - 2009
(1)
Country
Poland
(1)
Language
Polish
(1)
Subject
Maszyny Turinga
(1)
Rachunek lambda
(1)
Rozstrzygalność (logika matematyczna)
(1)
Teoria rekursywności
(1)
1 result Filter
No cover
Book
In basket
1. Wstęp; 2. Elementy teorii rekursji; 3. Maszyny Turinga i problemy rozstrzygalne;4. Prosty rachunek lambda bez typów;
This item is available in 2 branches. Expand the list to see details.
Wypożyczalnia
There are copies available to loan: sygn. 18393, 18392 (2 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 18391/XXI czyt. (1 egz.)
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again