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 284 | Straipsnio (PDF) atsisiuntimai 115
1
PDF

Straipsniai

Romas Alonderis
Efektyvesnė laiko logikos sekvencijų įrodymo paieška
Santraukos peržiūros 244
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 327 | Straipsnio (PDF) atsisiuntimai 162
9-18
PDF