The construction of conservative logical inferences
Informatics and Automation, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 112-120
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1968_98_a4,
author = {G. E. Mints},
title = {The construction of conservative logical inferences},
journal = {Informatics and Automation},
pages = {112--120},
publisher = {mathdoc},
volume = {98},
year = {1968},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TRSPY_1968_98_a4/}
}
G. E. Mints. The construction of conservative logical inferences. Informatics and Automation, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 112-120. http://geodesic.mathdoc.fr/item/TRSPY_1968_98_a4/