Doklady Akademii Nauk, Tome 118 (1958) no. 4, pp. 646-649
Citer cet article
B. A. Trakhtenbrot. The synthesis of logical nets whose operators are described in terms of one-place predicate calculus. Doklady Akademii Nauk, Tome 118 (1958) no. 4, pp. 646-649. http://geodesic.mathdoc.fr/item/DAN_1958_118_4_a5/
@article{DAN_1958_118_4_a5,
author = {B. A. Trakhtenbrot},
title = {The synthesis of logical nets whose operators are described in terms of one-place predicate calculus},
journal = {Doklady Akademii Nauk},
pages = {646--649},
year = {1958},
volume = {118},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1958_118_4_a5/}
}
TY - JOUR
AU - B. A. Trakhtenbrot
TI - The synthesis of logical nets whose operators are described in terms of one-place predicate calculus
JO - Doklady Akademii Nauk
PY - 1958
SP - 646
EP - 649
VL - 118
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1958_118_4_a5/
LA - ru
ID - DAN_1958_118_4_a5
ER -
%0 Journal Article
%A B. A. Trakhtenbrot
%T The synthesis of logical nets whose operators are described in terms of one-place predicate calculus
%J Doklady Akademii Nauk
%D 1958
%P 646-649
%V 118
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1958_118_4_a5/
%G ru
%F DAN_1958_118_4_a5
