- Publication Title:
- Machine search algorithm for derivation in propositional calculus, USSR; by N. A. Shanin et al.
- Display Title:
- JPRS (series). 37224. Machine search algorithm for derivation in propositional calculus, USSR; by N. A. Shanin et al.
- Series Title:
- JPRS (series).
- Corporate Agency Authors:
- Joint Publications Research Service
- Sort Author:
- Joint Publications Research Service
- Authors:
- Shanin, N. A.
- Author place:
- Washington, D.C.
- Author zip:
- 20443
- Date:
- Aug. 25, 1966
- Publish Date ISO Format:
- 1966-08-25T00:00:00Z
- Publication Start:
- 19660825
- Publication End:
- 19660825
- Corporate/Agency Author:
- Joint Publications Research Service
- Publication month:
- 5
- Publication year:
- 1966
- SuDoc number:
- Y 3.J 66:13/(nos.)
- Description:
- [2]+52 p. 4°
- Notes:
- Φ For Sale by OTS, Commerce Dept. Paper, $3.00 (TT:66-33653).
- Availability:
- Φ For Sale by OTS, Commerce Dept. Paper, $3.00 (TT:66-33653).
- Monthly Catalog date:
- October 1966
- Monthly Catalog issue number:
- 861
- Monthly Catalog page number:
- 1
- Monthly Catalog issue date:
- 1966-10-01T00:00:00Z
- Monthly Catalog entry number:
- 14856
- Record start page number:
- 54