Wprowadzenie do logiki temporalnej / Radosław Klimek.
Rodzaj materiału:
TekstSerie: Skrypty Uczelniane - Akademia Górniczo-Hutnicza im. Stanisława Staszica ; nr 1579Szczegóły wydania: Kraków : AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999.Opis: 173 strony : ilustracje ; 24 cmOdbiorca: - Poziom nauczania: Szkoły wyższe
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Dział/Uwagi | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | czytelnia ogólna | CzO 130263 | A 1 | Dostępny | 0000003512 |
Liczba zamówień: 0
Bibliografia na stronach 155-166.