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 230 | Straipsnio (PDF) atsisiuntimai 106
1
PDF

Straipsniai

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