Výsledky vyhľadávania - "logic of non-deterministic complex algorithms"

Logic LNCA of non-deterministic complex algorithms

Autori: Rasiowa, Helena

Predmety: interacting stacks, logic of non-deterministic complex algorithms, non-deterministic regular programs, algorithmic logic with non-deterministic programs, Abstract data types, algebraic specification

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3903964