Geodesic
Program minimizace plně neurčeně logické funkce na samočinném počítači
Applications of Mathematics, Tome 11 (1966) no. 4, pp. 278-282.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

This paper is concerned with the minimization of logical functions in normal disjunctive form. An ALGOL 60 algorithm is presented for finding the prime implicants of incompletely specified logical functions of the given form.
DOI : 10.21136/AM.1966.103030
Mots-clés : numerical analysis 
@article{10_21136_AM_1966_103030,
     author = {Slav{\'\i}\v{c}ek, Svatopluk and Balcar, Bohuslav},
     title = {Program minimizace pln\v{e} neur\v{c}en\v{e} logick\'e funkce na samo\v{c}inn\'em po\v{c}{\'\i}ta\v{c}i},
     journal = {Applications of Mathematics},
     pages = {278--282},
     publisher = {mathdoc},
     volume = {11},
     number = {4},
     year = {1966},
     doi = {10.21136/AM.1966.103030},
     zbl = {0141.14404},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/AM.1966.103030/}
}
TY  - JOUR
AU  - Slavíček, Svatopluk
AU  - Balcar, Bohuslav
TI  - Program minimizace plně neurčeně logické funkce na samočinném počítači
JO  - Applications of Mathematics
PY  - 1966
SP  - 278
EP  - 282
VL  - 11
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/AM.1966.103030/
DO  - 10.21136/AM.1966.103030
LA  - cz
ID  - 10_21136_AM_1966_103030
ER  - 
%0 Journal Article
%A Slavíček, Svatopluk
%A Balcar, Bohuslav
%T Program minimizace plně neurčeně logické funkce na samočinném počítači
%J Applications of Mathematics
%D 1966
%P 278-282
%V 11
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/AM.1966.103030/
%R 10.21136/AM.1966.103030
%G cz
%F 10_21136_AM_1966_103030
Slavíček, Svatopluk; Balcar, Bohuslav. Program minimizace plně neurčeně logické funkce na samočinném počítači. Applications of Mathematics, Tome 11 (1966) no. 4, pp. 278-282. doi : 10.21136/AM.1966.103030. http://geodesic.mathdoc.fr/articles/10.21136/AM.1966.103030/

Cité par Sources :