Išvedimo paieška Hibridinėje logikoje
Straipsniai
Daiva Aleknavičiūtė
Vilnius University
Stanislovas Norgėla
Vilnius University
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18104
PDF

Reikšminiai žodžiai

hibridinė logika
sekvencinis skaičiavimas

Kaip cituoti

Aleknavičiūtė D. ir Norgėla S. (2008) „Išvedimo paieška Hibridinėje logikoje“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 252–255. doi: 10.15388/LMR.2008.18104.

Santrauka

Aprašoma sekvencinio skaičiavimo taktika hibridinei logikai H (@), visada užbaigianti darbą hibridinės logikos H (@) formulėms.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.