Výsledky vyhledávání - "logic of non-deterministic complex algorithms"

Logic LNCA of non-deterministic complex algorithms

Autoři: Rasiowa, Helena

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

Popis souboru: application/xml

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