PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
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. 152, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2017
Identyfikatory
Zawartość wolumenu
Vol. 152, nr 3
artykuł:
SMC4AC : A New Symbolic Model Checker for Intelligent Agent Communication
(
El Kholy W.
,
Bentahar J.
,
Qu H.
,
El Menshawy M.
,
Dssouli R.
), s. 223--271
artykuł:
Similarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
(
Lemańska M.
,
Rodríguez-Velázquez J. A.
,
Trujillo-Rasua R.
), s. 273--287
artykuł:
On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group
(
Pomykała J.
), s. 289--295
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ć.