System Komputerowej Ewidencji Publikacji

Strona główna   |   Skorowidz nazwisk   |   Raporty   |   Przesyłanie plików źródłowych   |   Kategorie osiągnięć naukowych   |   Dyscypliny naukowe   |   Wyloguj PBN

Więcej z którymkolwiek ze słów ze wszystkimi słowami skonstruuj wyrażenie logiczne Pomoc

Wyniki wyszukiwania
Szukanie:	w opisie bibliograficznym
Wprowadzona fraza:	{ACM Transactions on Computational Logic}
Opublikowane w latach:	1960 - 2021
Grupowanie:	brak
Znaleziono:	1 ( spośród około 54805 )

[1] Rational Region-Based Affine Logic on the Real Plane / Adam Trybus, 2016. 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: 18-04-2016 09:51]

Czas generacji strony: 0,02 s.

kontakt techniczny: skep@bu.uz.zgora.pl © 2001-2020 Uniwersytet Zielonogórski