PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 178, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2021
Identyfikatory
Zawartość wolumenu
Vol. 178, nr 4
artykuł:
Checking Sets of Pure Evolving Association Rules
(
Combi Carlo
,
Rizzi Romeo
,
Sala Pietro
), s. 283--313
artykuł:
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,×
(
Cantone Domenico
,
Nicolosi-Asmundo Marianna
,
Santamaria Daniele Francesco
), s. 315--346
artykuł:
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker
(
Conchon Sylvain
,
Delzanno Giorgio
,
Ferrando Angelo
), s. 347--378
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.