رياضيات متقطعة (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "رياضيات متقطعة" in Arabic language version.

refsWebsite

Global rank Arabic rank

2web.archive.org

1^st place

1^st place

699^th place

1,099^th place

1books.google.com

3^rd place

8^th place

207^th place

462^nd place

2^nd place

5^th place

books.google.com

Samuel R. Buss (1998). Handbook of Proof Theory. Elsevier. ص. 13. ISBN:978-0-444-89840-1. مؤرشف من الأصل في 2020-01-27.

doi.org

Brotherston، J.؛ Bornat، R.؛ Calcagno، C. (يناير 2008). "Cyclic proofs of program termination in separation logic". ACM SIGPLAN Notices. ج. 43 ع. 1. CiteSeerX:10.1.1.111.1105. DOI:10.1145/1328897.1328453.

jhu.edu

jhupbooks.press.jhu.edu

Graphs on Surfaces, Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001 نسخة محفوظة 11 يونيو 2010 على موقع واي باك مشين.

psu.edu

citeseerx.ist.psu.edu

Brotherston، J.؛ Bornat، R.؛ Calcagno، C. (يناير 2008). "Cyclic proofs of program termination in separation logic". ACM SIGPLAN Notices. ج. 43 ع. 1. CiteSeerX:10.1.1.111.1105. DOI:10.1145/1328897.1328453.

web.archive.org

Graphs on Surfaces, Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001 نسخة محفوظة 11 يونيو 2010 على موقع واي باك مشين.
Samuel R. Buss (1998). Handbook of Proof Theory. Elsevier. ص. 13. ISBN:978-0-444-89840-1. مؤرشف من الأصل في 2020-01-27.