-
1161
-
1162
Decision procedure for a combination of logics KD4 and PDL
Published 2004-12-01Get full text
Article -
1163
-
1164
Explicit formulas in asymptotic expansions for Euler’s approximations of semigroups
Published 2023-09-01Get full text
Article -
1165
On the structure of tangent bundle of (f, g)-manifold defined by 2-forms
Published 1998-12-01Get full text
Article -
1166
Robust estimation by means of a bank of the Kalman filters
Published 1998-12-01Get full text
Article -
1167
"World War II and Lithuania" organised by Vytautas the Great War Museum
Published 2005-06-01Get full text
Article -
1168
-
1169
-
1170
-
1171
-
1172
-
1173
Relation between classical and intuitionistic sequent calculi of temporal logic
Published 2001-12-01Get full text
Article -
1174
-
1175
Numerical solution of equations describing neutron transport in the three-dimensional case
Published 1998-12-01Get full text
Article -
1176
On the Absolute and Relative Pessimistic Inductions: A Reply to S. Park
Published 2024-04-01Get full text
Article -
1177
History as expression of values or right to freedom? The estimation of on independant historian
Published 2005-12-01Get full text
Article -
1178
-
1179
-
1180