TY  - JOUR
AU  - T. M. Kosovskaya
TI  - Isomorphism of predicate formulas in artificil intelligence problems
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2021
SP  - 38
EP  - 52
VL  - 499
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2021_499_a3/
LA  - ru
ID  - ZNSL_2021_499_a3
ER  -