A Complete deductive system for the ~^m-calculusIgor Walukiewicz
A Complete deductive system for the ~^m-calculus
3 biblioteki2 wydania · 1993–1994
O książce
- Autor
- Igor Walukiewicz
- Lata wydań
- 1993–1994
- Liczba wydań
- 2
- Języki
- polski, angielski
- Rodzaj
- książka
Dostępna w 3 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)