Unification types in logic / Wojciech Dzik.
Rodzaj materiału:
TekstJęzyk: angielski Język streszczenia: niemiecki, polski Serie: Prace Naukowe Uniwersytetu Śląskiego w Katowicach ; nr 2554Szczegóły wydania: Katowice : Wydawnictwo Uniwersytetu Śląskiego, 2007.Opis: 192 s. : il., err. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 9788322617175
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 159131 | Dostępny | 0000072632 |
Liczba zamówień: 0
Bibliogr. s. 180-186. Indeksy.
Streszcz. pol., niem.