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 312 | Straipsnio (PDF) atsisiuntimai 129
1
PDF

Straipsniai

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