- Tytuł:
- Linear logic in computer science
- Autorzy:
-
Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V. - Tematy:
-
linear logic
resources
proofs - Pokaż więcej
- Data publikacji:
- 2015
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Dostawca treści:
- Biblioteka Nauki
Artykuł