JPRS (series). 2219. Construction of general theory of logical nets, USSR [with bibliography; by N. Ye Kobrinskiy and R. A. Trakhtenbrot.

Tools