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 - 2018
Grupowanie: brak
Znaleziono: 1 ( spośród około 60654 )

[1] Rational Region-Based Affine Logic on the Real Plane / Adam Trybus // ACM Transactions on Computational Logic .- 2016, Vol. 17, No. 3, s. 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-2018 Uniwersytet Zielonogórski