Algorithmic logic with nondeterministic programs
By: Grażyna Mirkowska-Salwicka.
Series: ICS PAS reports ; 343; Prace IPI PAN ;; 343.
Publisher: Institute of Computer Science, Polish Academy of Sciences
Published: 1979
Place of publication: Warsaw
Language: eng
Number of pages: 18
Subjects: Formal languages.; Algorithms.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 18.
Abstracts also in Polish and Russian.