T 63 (2022): A serija

T 63 (2022)

Lietuvos matematikos rinkinys
A serija
Publikuota 2022-12-10

Pradžios puslapiai

Artūras Štikonas
Redakcinė kolegija ir turinys
Santraukos peržiūros 348 | Straipsnio (PDF) atsisiuntimai 143
1
PDF

Straipsniai

Romas Alonderis
Efektyvesnė laiko logikos sekvencijų įrodymo paieška
Santraukos peržiūros 298
1–8
pdf
Artūras Štikonas
Šturmo ir Liuvilio uždavinio su Robino ir dvitaške kraštinėmis sąlygomis asimptotinė analizė
Santraukos peržiūros 472 | Straipsnio (PDF) atsisiuntimai 252
9-18
PDF