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