Išvedimo paieška Hibridinėje logikoje
Straipsniai
Daiva Aleknavičiūtė
Vilniaus universitetas image/svg+xml
Stanislovas Norgėla
Vilniaus universitetas image/svg+xml
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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

<< < 1 2