- 1016/j.devcel.2014.04.009. PMID 24780736.
Lancaster OM, Le
Berre M,
Dimitracopoulos A,
Bonazzi D, Zlotek-Zlotkiewicz E,
Picone R, Duke T, Piel M, Baum...
- in
Peano arithmetic, and in 1994,
Charalambos Cornaros and
Costas Dimitracopoulos proved that
their proof can be
formalized in a very weak
fragment of...
-
Dimitracopoulos 1992, p. 44.
Erickson 2003, pp. 218–219.
Kargakos 2012, pp. 56–57.
Oikonomou 1977, p. 292.
Kargakos 2012, pp. 58–59.
Dimitracopoulos 1992...
- from the
original on 17
December 2018.
Retrieved 11
February 2019.
Dimitracopoulos,
Anastasios (1992). The
First Balkan War
Through the
Pages of Review...
-
Extensive Number-Theoretical Com****tion on ENIAC". In Beckmann, Arnold;
Dimitracopoulos, Costas; Löwe,
Benedikt (eds.).
Logic and
Theory of Algorithms: 4th...
-
Possible Relations Between Structure and Argument. In: Beckmann, A.,
Dimitracopoulos, C., Löwe, B. (eds)
Logic and
Theory of Algorithms. CiE 2008. Lecture...
-
Charles (2009). "Paul Bernays'
later philosophy of mathematics". In
Dimitracopoulos, Costas; Newelski, Ludomir; Normann, Dag; Steel, John R (eds.). Logic...
- 1977, p. 290.
Oikonomou 1977, p. 291.
Apostolidis 1913, pp. 203–205.
Dimitracopoulos 1992, p. 44.
Erickson 2003, pp. 218–219.
Oikonomou 1977, p. 292. Apostolidis...
- 1977, p. 290.
Oikonomou 1977, p. 291.
Dimitracopoulos 1992, p. 42.
Apostolidis 1913, pp. 203–205.
Dimitracopoulos 1992, p. 44.
Oikonomou 1977, p. 292....
- hdl:10230/25942. PMID 26077034. Lancaster,
Oscar M; La Berre, Mael;
Dimitracopoulos, Andrea; Bonazzi, Daria; Zlotek-Zlotkiewicz, Ewa; Picone, Remigio;...
