Διακριτά μαθηματικά (Greek Wikipedia)

Analysis of information sources in references of the Wikipedia article "Διακριτά μαθηματικά" in Greek language version.

refsWebsite

Global rank Greek rank

3^rd place

6^th place

513^th place

239^th place

6^th place

5^th place

1^st place

8,402^nd place

low place

207^th place

1,062^nd place

699^th place

519^th place

archive.org

Wilson, Robin (2002). Four Colors Suffice. London: Penguin Books. ISBN 0-691-11533-8.

Trevor R. Hodkinson and John A. N. Parnell, Reconstructing the Tree of Life: Taxonomy and systematics of species rich taxa, CRC Press, 2007, ISBN 0849395798, p. 97.
Sjerp Troelstra, Helmut Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000, ISBN 0521779111, p. 186.
Samuel R. Buss, Handbook of Proof Theory (Volume 137 of Studies in logic and the foundations of mathematics), Elsevier, 1998. ISBN 0444898409, p 13.
Stephan Schulz, "Learning Search Control Knowledge for Equational Theorem Proving," in KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : Proceedings (Volume 2174 of Lecture notes in Artificial Intelligence), Franz Baader, Gerhard Brewka, and Thomas Eiter, eds., Springer, 2001, ISBN 3540426124, p. 325.

«Millennium Prize Problems». 24 Μαΐου 2000. Αρχειοθετήθηκε από το πρωτότυπο στις 8 Ιανουαρίου 2008. Ανακτήθηκε στις 12 Ιανουαρίου 2008.

Graphs on Surfaces, Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001

Cyclic proofs of program termination in separation logic, J Brotherston, R Bornat, C Calcagno, ACM SIGPLAN Notices, Volume 43 , Issue 1 (January 2008)

«Millennium Prize Problems». 24 Μαΐου 2000. Αρχειοθετήθηκε από το πρωτότυπο στις 8 Ιανουαρίου 2008. Ανακτήθηκε στις 12 Ιανουαρίου 2008.