المنطق في علوم الحاسوب (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "المنطق في علوم الحاسوب" in Arabic language version.

refsWebsite

Global rank Arabic rank

9web.archive.org

1^st place

4archive.org

6^th place

3^rd place

3books.google.com

3^rd place

8^th place

3doi.org

2^nd place

5^th place

1stanford.edu

179^th place

237^th place

1yonsei.ac.kr

low place

1umd.edu

1,747^th place

2,171^st place

archive.org

Lewis، Harry R. Elements of the Theory of Computation. مؤرشف من R. Lewis الأصل في 2020-05-26. {{استشهاد بكتاب}}: تحقق من قيمة |مسار= (مساعدة)
Hofstadter، Douglas R. (5 فبراير 1999). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books. ISBN:978-0465026562. مؤرشف من الأصل في 2020-03-25.
Newell، Allen؛ J.C. Shaw؛ H.C. Simon (1963). "Empirical explorations with the logic theory machine". في Ed Feigenbaum (المحرر). Computers and Thought. McGraw Hill. ص. 109–133. ISBN:978-0262560924.
Levesque، Hector؛ Ronald Brachman (1985). "A Fundamental Tradeoff in Knowledge Representation and Reasoning". في Ronald Brachman and Hector J. Levesque (المحرر). Reading in Knowledge Representation. Morgan Kaufmann. ص. 49. ISBN:0-934613-01-X. مؤرشف من الأصل في 2020-03-25. The good news in reducing KR service to theorem proving is that we now have a very clear, very specific notion of what the KR system should do; the bad new is that it is also clear that the services can not be provided... deciding whether or not a sentence in FOL is a theorem... is unsolvable.

books.google.com

Davis، Martin. "Influences of Mathematical Logic on Computer Science". في Rolf Herken (المحرر). The Universal Turing Machine. Springer Verlag. اطلع عليه بتاريخ 2013-12-26.
Kennedy، Juliette (21 أغسطس 2014). Interpreting Godel. Cambridge University Press. ISBN:9781107002661. مؤرشف من الأصل في 2020-04-26. اطلع عليه بتاريخ 2015-08-17.
Stavridou، Victoria (1993). Formal Methods in Circuit Design. Press Syndicate of the University of Cambridge. ISBN:0-521-443369. مؤرشف من الأصل في 2020-04-26. اطلع عليه بتاريخ 2013-12-26.

doi.org

Forgy، Charles (1982). "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem*" (PDF). Artificial Intelligence. ج. 19: 17–37. DOI:10.1016/0004-3702(82)90020-0. مؤرشف من الأصل (PDF) في 2013-12-27. اطلع عليه بتاريخ 2013-12-25.
MacGregor، Robert (يونيو 1991). "Using a description classifier to enhance knowledge representation". IEEE Expert. ج. 6 ع. 3: 41–46. DOI:10.1109/64.87683.
Berners-Lee، Tim؛ James Hendler؛ Ora Lassila (May 17, 2001). "The Semantic Web A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities". Scientific American. ج. 284: 34–43. DOI:10.1038/scientificamerican0501-34. مؤرشف من الأصل في April 24, 2013. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد بدورية محكمة}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

stanford.edu

www-formal.stanford.edu

McCarthy، J؛ P.J. Hayes (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. ج. 4: 463–502. مؤرشف من الأصل في 2020-03-25. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد بدورية محكمة}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

umd.edu

cs.umd.edu

Berners-Lee، Tim؛ James Hendler؛ Ora Lassila (May 17, 2001). "The Semantic Web A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities". Scientific American. ج. 284: 34–43. DOI:10.1038/scientificamerican0501-34. مؤرشف من الأصل في April 24, 2013. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد بدورية محكمة}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

web.archive.org

Lewis، Harry R. Elements of the Theory of Computation. مؤرشف من R. Lewis الأصل في 2020-05-26. {{استشهاد بكتاب}}: تحقق من قيمة |مسار= (مساعدة)
Kennedy، Juliette (21 أغسطس 2014). Interpreting Godel. Cambridge University Press. ISBN:9781107002661. مؤرشف من الأصل في 2020-04-26. اطلع عليه بتاريخ 2015-08-17.
Hofstadter، Douglas R. (5 فبراير 1999). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books. ISBN:978-0465026562. مؤرشف من الأصل في 2020-03-25.
McCarthy، J؛ P.J. Hayes (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. ج. 4: 463–502. مؤرشف من الأصل في 2020-03-25. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد بدورية محكمة}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)
Levesque، Hector؛ Ronald Brachman (1985). "A Fundamental Tradeoff in Knowledge Representation and Reasoning". في Ronald Brachman and Hector J. Levesque (المحرر). Reading in Knowledge Representation. Morgan Kaufmann. ص. 49. ISBN:0-934613-01-X. مؤرشف من الأصل في 2020-03-25. The good news in reducing KR service to theorem proving is that we now have a very clear, very specific notion of what the KR system should do; the bad new is that it is also clear that the services can not be provided... deciding whether or not a sentence in FOL is a theorem... is unsolvable.
Forgy، Charles (1982). "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem*" (PDF). Artificial Intelligence. ج. 19: 17–37. DOI:10.1016/0004-3702(82)90020-0. مؤرشف من الأصل (PDF) في 2013-12-27. اطلع عليه بتاريخ 2013-12-25.
Rich، Charles؛ Richard C. Waters (نوفمبر 1987). "The Programmer's Apprentice Project: A Research Overview" (PDF). IEEE Expert. مؤرشف من الأصل (PDF) في 2017-07-06. اطلع عليه بتاريخ 2013-12-26.
Stavridou، Victoria (1993). Formal Methods in Circuit Design. Press Syndicate of the University of Cambridge. ISBN:0-521-443369. مؤرشف من الأصل في 2020-04-26. اطلع عليه بتاريخ 2013-12-26.
Berners-Lee، Tim؛ James Hendler؛ Ora Lassila (May 17, 2001). "The Semantic Web A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities". Scientific American. ج. 284: 34–43. DOI:10.1038/scientificamerican0501-34. مؤرشف من الأصل في April 24, 2013. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد بدورية محكمة}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

yonsei.ac.kr

web.yonsei.ac.kr

Forgy، Charles (1982). "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem*" (PDF). Artificial Intelligence. ج. 19: 17–37. DOI:10.1016/0004-3702(82)90020-0. مؤرشف من الأصل (PDF) في 2013-12-27. اطلع عليه بتاريخ 2013-12-25.