Geodesic
Z. Pawlak, Automatyczne dowodzenie twierdzeń
Wiadomości Matematyczne, Tome 10 (1968) no. 2, pp. 297-298.

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

DOI : 10.14708/wm.v10i2.2166
Mots-clés : 
@article{10_14708_wm_v10i2_2166,
     author = {S. Walig\'orski},
     title = {Z. {Pawlak,} {Automatyczne} dowodzenie twierdze\'n},
     journal = {Wiadomo\'sci Matematyczne},
     pages = { 297--298},
     publisher = {mathdoc},
     volume = {10},
     number = {2},
     year = {1968},
     doi = {10.14708/wm.v10i2.2166},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/}
}
TY  - JOUR
AU  - S. Waligórski
TI  - Z. Pawlak, Automatyczne dowodzenie twierdzeń
JO  - Wiadomości Matematyczne
PY  - 1968
SP  -  297
EP  - 298
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/
DO  - 10.14708/wm.v10i2.2166
LA  - pl
ID  - 10_14708_wm_v10i2_2166
ER  - 
%0 Journal Article
%A S. Waligórski
%T Z. Pawlak, Automatyczne dowodzenie twierdzeń
%J Wiadomości Matematyczne
%D 1968
%P  297-298
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/
%R 10.14708/wm.v10i2.2166
%G pl
%F 10_14708_wm_v10i2_2166
S. Waligórski. Z. Pawlak, Automatyczne dowodzenie twierdzeń. Wiadomości Matematyczne, Tome 10 (1968) no. 2, pp.  297-298. doi : 10.14708/wm.v10i2.2166. http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/

Cité par Sources :