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 95 | Straipsnio (PDF) atsisiuntimai 67
1
PDF

Straipsniai

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