T 63 (2022)

Lietuvos matematikos rinkinys

A serija

Publikuota 2022-12-10

Pradžios puslapiai

Artūras Štikonas

Redakcinė kolegija ir turinys

1

PDF

Straipsniai

Romas Alonderis

Efektyvesnė laiko logikos sekvencijų įrodymo paieška

1–8

pdf

Artūras Štikonas

Šturmo ir Liuvilio uždavinio su Robino ir dvitaške kraštinėmis sąlygomis asimptotinė analizė

9-18

PDF