PERS - System Informacji o Pracownikach

SKEP - Wyniki wyszukiwania wśród publikacji

Szukanie:
w opisie bibliograficznym
Wprowadzona fraza:
{ACM Transactions on Computational Logic}
Opublikowano w latach:
1960 - 2023
Znaleziono:
1 (spośród około 72846)
1.
Rational Region-Based Affine Logic on the Real Plane, 2016, Adam Trybus , ACM Transactions on Computational Logic, Vol. 17, No. 3, 1--18, ISSN: 1529-3785, bibliogr. rys. summ.
Słowa kluczowe: axiomatisation, convexity, spatial logic
Kod: CZR-JCR BibTeX (pkt. 35)
[AWCZ-19987] [data modyf. 06-04-2021 13:59]