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. 125, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2013
Identyfikatory
Zawartość wolumenu
Vol. 125, nr 1
artykuł:
Local Verification Using a Distributed State Space
(
Abid C. A.
,
Zouari B.
), s. 1--20
artykuł:
Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type An
(
Felisiak M.
), s. 21--49
artykuł:
Reasoning about resources and information : a linear logic approach
(
Kamide N.
,
Kaneiwa K.
), s. 51--70
artykuł:
A Complete Generalization of Atkin's Square Root Algorithm
(
Rotaru A. S.
,
Iftene S.
), s. 71--94
artykuł:
Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set?
(
Tyszka A.
), s. 85--99
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ć.