Geodesic
Automatyczne dowodzenie twierdzeń
Wiadomości Matematyczne, Tome 14 (1972) no. 1, pp. 25-38.

Voir la notice de l'article provenant de la source Annales Societatis Mathematicae Polonae Series

DOI : 10.14708/wm.v14i1.1962
Mots-clés : 
@article{10_14708_wm_v14i1_1962,
     author = {L. W. Szczerba},
     title = {Automatyczne dowodzenie twierdze\'n},
     journal = {Wiadomo\'sci Matematyczne},
     pages = { 25--38},
     publisher = {mathdoc},
     volume = {14},
     number = {1},
     year = {1972},
     doi = {10.14708/wm.v14i1.1962},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/articles/10.14708/wm.v14i1.1962/}
}
TY  - JOUR
AU  - L. W. Szczerba
TI  - Automatyczne dowodzenie twierdzeń
JO  - Wiadomości Matematyczne
PY  - 1972
SP  -  25
EP  - 38
VL  - 14
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14708/wm.v14i1.1962/
DO  - 10.14708/wm.v14i1.1962
LA  - pl
ID  - 10_14708_wm_v14i1_1962
ER  - 
%0 Journal Article
%A L. W. Szczerba
%T Automatyczne dowodzenie twierdzeń
%J Wiadomości Matematyczne
%D 1972
%P  25-38
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14708/wm.v14i1.1962/
%R 10.14708/wm.v14i1.1962
%G pl
%F 10_14708_wm_v14i1_1962
L. W. Szczerba. Automatyczne dowodzenie twierdzeń. Wiadomości Matematyczne, Tome 14 (1972) no. 1, pp.  25-38. doi : 10.14708/wm.v14i1.1962. http://geodesic.mathdoc.fr/articles/10.14708/wm.v14i1.1962/

Cité par Sources :