Skip to search
Skip to main content
Monthly Catalog 1895-1976
Bookmarks
0
History
Login
Search in
All Fields
Title
Publisher
Author
Publication Year
Issue Year
Full Su Doc
Lc Number
search for
Search
Cite
×
JPRS (series). 37224. Machine search algorithm for derivation in propositional calculus, USSR; by N. A. Shanin et al.