Results for 'L. Wos'

981 found
Order:
  1. Obunʼgan ŭi sasaek.WŏL-Lyong Kang - 1965
     
    Export citation  
     
    Bookmark  
  2.  37
    Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen - 1983 - Notre Dame Journal of Formal Logic 24 (2):205-223.
  3.  6
    Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.L. Wos, G. W. Pieper & Robert K. Meyer - 2007 - Bulletin of Symbolic Logic 13 (3):359-361.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Nammyŏng Sŏnsaeng p'yŏnnyŏn.Wŏn-ch'ŏl Chang & Pyŏng-ch'ŏl Chŏn (eds.) - 2011 - Sŏul Tŭkpyŏlsi: Kyŏngin Munhwasa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  2
    Tongbuk Asia Yugyo ŭi chŏntʻong kwa hyŏndae =.Wŏn-yŏl Kim - 2007 - Kyỏnggi-do Pʻaju-si: Hanʼguk Haksul Chŏngbo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  2
    A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains.L. Wos, S. Winker, B. Smith, R. Veroff & L. Henschen - 1984 - Artificial Intelligence 22 (3):303-356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  14
    Review: J. A. Robinson, A Review of Automatic Theorem-Proving. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
  8.  8
    Review: J. A. Robinson, Automatic Deduction with Hyper-Resolution. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):189-190.
  9.  5
    Robinson J. A.. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 , pp. 227–234. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):189-190.
  10.  10
    Robinson J. A.. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Ssuk kwa manŭl: Hanʼgugin ŭi chʻangjo wŏlli: Hanʼguk sinhwa wa ŭmyang ohaeng.Wŏn-hŭng Hwang - 2009 - Sŏul: Chŏngjosa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  1
    L'humanité de l'homme négro-africain: approche préhistorique philosophico-anthropologique et humaniste senghorienne.Emmanuel Biangany Gomanu Tamp'Wo - 2007 - Kinshasa: Éditions Universitaires Logos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Yŏmal Sŏnch'o Nakchung saramdŭl ŭi 'Hakt'ong' kwa 'Tot'ong'.Hong Wŏn-sik - 2013 - In Wŏn-sik Hong (ed.), Chosŏn chŏn'gi Tohakp'a ŭi sasang: 'Nakchunghak' ŭi wŏllyu. Taegu Kwangyŏksi: Kyemyŏng Taehakkyo Ch'ulp'anbu.
     
    Export citation  
     
    Bookmark  
  14.  2
    Todŏk p'andannyŏk ch'ŭkchŏng: MJT wa DIT rŭl chungsim ŭro.WŏN-Bong Yi - 2012 - Kyŏnggi-do P'aju-si: Han'guk Haksul Chŏngbo. Edited by Kyun-yŏl Pak.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  2
    Sinhak yulli wa sahoe kwahak: yŏnʼgyŏl ŭi tʻŭl kwa chŏgyong.Wŏn-gi Pak - 1997 - Sŏul-si: Taehan Kidokkyo Sŏhoe.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. segi Chungguk kŭndae chisik ŭi suyong kwa Chang Chi-dong : Chang Chi-dong ŭi "Kwŏnhak p'yŏn" ŭl chungsim ŭro.Yun Chi-wŏn - 2019 - In Kyŏng-nam Kim (ed.), Chisik ŭi kujo wa Han, Chung, Il chisik chihyŏng pyŏnhwa ŭi t'amsaek. Sŏul T'ŭkpyŏlsi: Kyŏngjin Ch'ulp'an.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  1
    Nammyŏng Hakp'a chammyŏngnyu chipsŏng.Pyŏng-ch'ŏl Chŏn & Yŏng-wŏn Ch'U. (eds.) - 2009 - Kyŏngnam Ch'angwŏn-si: Brain.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Chinam Yi Pyŏng-hŏn ŭi konggyo undong kwa kŭmmun kyŏnghak.Hwang Chi-wŏn - 2021 - In Wŏn-sik Hong (ed.), Hanju hakp'a chaejŏn chejadŭl kwa Yŏngnam yuhyŏndŭl ŭi hwaltong kwa sasang: Ilche kangjŏmgi ŭi 'Nakchunghak'. Taegu Kwangyŏksi: Kyemyŏng Taehakkyo Ch'ulp'anbu.
     
    Export citation  
     
    Bookmark  
  19.  4
    Wŏnhyo ŭi simmun hwajaengnon: pŏnyŏk kwa haesŏl kŭrigo hwajaeng ŭi ch'ŏrhak.T'ae-wŏn Pak - 2013 - Sŏul-si: Sech'ang Ch'ulp'ansa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  2
    Hanju hakp'a chaejŏn chejadŭl kwa Yŏngnam yuhyŏndŭl ŭi hwaltong kwa sasang: Ilche kangjŏmgi ŭi 'Nakchunghak'.Wŏn-sik Hong (ed.) - 2021 - Taegu Kwangyŏksi: Kyemyŏng Taehakkyo Ch'ulp'anbu.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Maŭm kongbu rŭl tullŏssan Chosŏn yuhakchadŭl ŭi ttŭgŏun nonjaengsŏ : Simgyŏng puju.Hong Wŏn-sik - 2017 - In Sŏk-ki Chʻoe (ed.), Chujahak ŭi kojŏn, kŭ Chosŏnjŏk haesŏk kwa silch'ŏn. Kyŏnggi-do P'aju-si: Chŏmp'ilchae.
     
    Export citation  
     
    Bookmark  
  22. Ilche kangjŏmgi ŭi Nakchunghak : Hanju Hakp'a ŭi chaejŏn chejadŭl ŭl chungsim ŭro.Hong Wŏn-sik - 2021 - In Wŏn-sik Hong (ed.), Hanju hakp'a chaejŏn chejadŭl kwa Yŏngnam yuhyŏndŭl ŭi hwaltong kwa sasang: Ilche kangjŏmgi ŭi 'Nakchunghak'. Taegu Kwangyŏksi: Kyemyŏng Taehakkyo Ch'ulp'anbu.
     
    Export citation  
     
    Bookmark  
  23. Kidokkyo ŭi iip kwa kuhanmal Yuga todŏk chip'yŏng ŭi pyŏnhwa : Kim P'yŏng-muk ŭi "Pyŏksa pyŏnjŭng kiŭi" rŭl chungsim ŭro.Yi Wŏn-sŏk - 2019 - In Chŏng-gil Han (ed.), Sahoe sasang kwa tongsŏ chŏppyŏn. Kyŏnggi-do Koyang-si: Tong kwa Sŏ.
     
    Export citation  
     
    Bookmark  
  24.  4
    Aedo ŭi aedo rŭl wihayŏ: pip'an ŏmnŭn sidae ŭi ch'ŏrhak.T'ae-wŏn Chin - 2019 - Sŏul-si: Kŭrinbi.
    1. 'P'osŭt'ŭ' tamnon ŭi yuryŏngdŭl : aedo ŭi aedo rŭl wihayŏ -- 2. Chwap'a mesiajuŭi ranŭn irŭm ŭi yongmang : 'p'osŭt'ŭ-p'osŭt'ŭ tamnon' ŭi kungnae suyong e taehayŏ -- 3. Sigan kwa chŏngŭi : Penyamin, Haidegŏ, Terida -- 4. Kungmin iranŭn noye : chŏnch'ejuŭijŏk kungmin kukkaron e taehan pip'anjŏk koch'al -- 5. Ŏttŏn sangsang ŭi kongdongch'e : minjok, kungmin kŭrigo kŭ nŏmŏ -- 6. Hanbando p'yŏnghwa ch'eje ŭi (t'al) kuch'uk ŭl wihayŏ : ŭl ŭi minjujuŭi ŭi kwanchŏm esŏ -- 7. P'uk'o (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  7
    Tong Asia chŏnt'ong chisik iron ŭi palchŏn kwa kŭ kŭndaejŏk kulchŏl.Chong-wŏn Hwang & Se-Jong Kim (eds.) - 2019 - Sŏul T'ŭkpyŏlsi: Kyŏngjin Ch'ulp'an.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  3
    Yuhakcha ŭi tongmurwŏn: Chosŏn sŏnbidŭl ŭi tongmul kwanch'algi kŭrigo in'gan ŭi maŭm.Chi-wŏn Ch'oe - 2015 - Sŏul-si: Allep.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Ch'ulch'ŏ, kyŏnggye ŭi ch'ŏrhak: mŏnjŏ to ka innŭn kot inji rŭl salp'yŏ pora.Yong-wŏn O. - 2016 - Kyŏnggi-do P'aju-si: Kŭl Hangari.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Inji sangjŏng ŭi yullihak.Pak Wŏn-jae - 2013 - In Hyŏng-jo Han (ed.), 500-yŏn kongdongch'e rŭl umjigin Yugyo ŭi him. Kŭl Hangari.
     
    Export citation  
     
    Bookmark  
  29. Sŏnghak sipto VR ŭi ch'ŏrhak tijain.Yi Wŏn-jin - 2020 - In Hyŏn-jin Yi (ed.), T'aenjŏbŭl p'illosop'i: Sŏnghak sipto VR = Tangible philosophy: VR for Ten Diagrams on sage learning. Sŏul-si: Tosŏ Ch'ulp'an Ch'ŏngnam.
     
    Export citation  
     
    Bookmark  
  30. Enjeux politiques et philosophie à l'africaine: un certain regard d'un thème à l'autre.Emmanuel Biangany Gomanu Tamp'Wo - 2009 - Kinshasa: Éditions Universitaires Logos.
     
    Export citation  
     
    Bookmark  
  31.  2
    Samul yuram: k'yureit'ŏ rŭl chagŭk han samuldŭl.Si-wŏn Hyŏn - 2014 - Sŏul T'ukpyŏlsi: Hyŏnsil Munhwa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  2
    Han'guk sŏngnihak, wae toksŏn in'ga: Yi Hwang, Yi I, Chŏng Yag-yong sasang ŭl haebu hada.Tong-wŏn Kim - 2022 - [Seoul]: Yŏksa-ro.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  3
    Chŏnt'ong saek, ohaeng kwa obang ŭl naeryŏ not'a.Tong-wŏn Kŭm - 2012 - Sŏul-si: Yŏndu wa P'arang.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  4
    Tonjŏm chilli tamnon: Chinul kwa Sŏngch'ŏl ŭl chungsim ŭro.T'ae-wŏn Pak - 2016 - Sŏul: Sech'ang Ch'ulp'ansa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Hwasŏ sasang ŭi t'ŭkching kwa hyŏndaejŏk ŭimi.O. Sŏg-wŏn - 2022 - In Hyang-jun Yi (ed.), Hwasŏ hakp'a ŭi simsŏl nonjaeng. Sŏul: Tosŏ Ch'ulp'an Munsach'ol.
     
    Export citation  
     
    Bookmark  
  36.  1
    Sŭmu sal, inmunhak ŭl mannada.Chu-wŏn Kim (ed.) - 2010 - Sŏul-si: Kŭrinbi.
    스무살 젊은이들, 인문학의 다양한 모습을 만나다! 서울대학교 인문대학 교수들이 이제 막 인문학에 발을 들여 놓는 스무살 청년들을 위해 직접 쓴 인문학 입문서『스무살, 인문학을 만나다』. 인문학을 둘러싼 사회의 담론들을 보면서 인문학의 성격 및 사회적 역할에 대해 고민해 온 서울대학교 인문대학의 성찰이 낳은 결과물이다. 실제 인문학을 연구하고 교육하고 있는 인문학자들의 다양한 연구 사례와 성과를 알기 쉽게 풀어내, 인문학에 관심을 가진 스무살 전후의 젊은이들이 인문학의 다양한 모습을 직접 접하고 스스로 답을 찾아갈 수 있도록 도와준다. ☞ 북소믈리에 한마디! 총 3부로 구성된 본문은 24편의 글을 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Yŏja sohak: Yulchae Yi Han-gŏl p'yŏn 'Yŏja sohak' ŭi yŏn'gu, yŏkchu, yŏngin.Chu-wŏn Kim - 2020 - Kyŏnggi-do P'aju-si: T'aehaksa. Edited by Kwŏn-su Hŏ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Papież Pius II, jego \"Pamiętniki\" i kardynał Izydor z Kijowa (E. S. Piccolomini (Bio II), \"I commentari\", oprac. L. Torato, Mediolan 1984). [REVIEW]Jan W. Woś - 1988 - Studia Filozoficzne 269 (4).
    No categories
     
    Export citation  
     
    Bookmark  
  39. Hanbak sasang ŭl chʻajasŏ.Chʻŏng-wŏn Yi - 2000 - Sŏul-si: Taejung Munhwasa.
     
    Export citation  
     
    Bookmark  
  40. Kŭndae kaehyŏk Pulgyo ŭi sahoejŏk konggongsŏng.WŏN YŏNg-Sang - 2019 - In Nam-jin Hŏ (ed.), Kŭndae Han'guk kaebyŏk sasang ŭl silch'ŏn hada. Tosŏ Ch'ulp'an Mosinŭn Saramdŭl.
     
    Export citation  
     
    Bookmark  
  41.  6
    X ŭi chonjaeron ŭl toemutta.Se-man Ch'oe & Sang-wŏn Kim (eds.) - 2021 - Kyŏnggi-do Koyang-si: Sawŏl ŭi Ch'aek.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Chosŏnch'o Tohakp'a ŭi kyŏngseron.To Hyŏn-ch'ŏl - 2013 - In Wŏn-sik Hong (ed.), Chosŏn chŏn'gi Tohakp'a ŭi sasang: 'Nakchunghak' ŭi wŏllyu. Taegu Kwangyŏksi: Kyemyŏng Taehakkyo Ch'ulp'anbu.
     
    Export citation  
     
    Bookmark  
  43.  19
    Maxima.L. Wolfgang - 1986 - Grazer Philosophische Studien 28:79-104.
    Es gibt Eigenschaften, die in ihren empirischen Vorkommnissen gradativ sind, wie z.B. die Eigenschaften, etwas zu wissen und mächtig zu sein] d.h. man kann mehr oder weniger wissen, jemand ist mächtiger oder weniger mächtig als sein Gegenüber usw. usf. Dieser Aufsatz versucht Eigenschaftsexemplifikationen im Bereich von empirischen (Minima und) Maxima an Beispielen von Macht und Wissen dahingehend zu analysieren, ob sie tatsächlich dieselben Eigenschaften wie die durch Standardbeispiele aus dem "mittleren Bereich" definierten (Begriffe von) Eigenschaften betreffen. Es werden Argumente für (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    Maxima.L. Wolfgang - 1986 - Grazer Philosophische Studien 28:79-104.
    Es gibt Eigenschaften, die in ihren empirischen Vorkommnissen gradativ sind, wie z.B. die Eigenschaften, etwas zu wissen und mächtig zu sein] d.h. man kann mehr oder weniger wissen, jemand ist mächtiger oder weniger mächtig als sein Gegenüber usw. usf. Dieser Aufsatz versucht Eigenschaftsexemplifikationen im Bereich von empirischen (Minima und) Maxima an Beispielen von Macht und Wissen dahingehend zu analysieren, ob sie tatsächlich dieselben Eigenschaften wie die durch Standardbeispiele aus dem "mittleren Bereich" definierten (Begriffe von) Eigenschaften betreffen. Es werden Argumente für (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Wo spielt die mentale Begleitmusik? Plädoyer für das Eingeständnis einer profunden Unwissenheit -­ Antwort auf Thomas Sukopp.Olaf L. Müller - 2007 - In Thomas Sukopp & Gerhard Vollmer (eds.), Naturalismus: Positionen, Perspektiven, Probleme. Tübingen, Deutschland: Mohr Siebeck. pp. 161-167.
    Was sollen wir von einem seelischen Leben außerhalb der Natur halten? In seinem Kommentar zu meiner metaphysischen Provokation „Jenseits" legt Thomas Sukopp nahe, dass jede Evidenz gegen jene Möglichkeit spreche. Ich sehe das anders; weder spricht irgendwelche apriorische Evidenz gegen ein seeli­sches Leben außerhalb unserer Körper, noch spricht empirische Evidenz dagegen. Nicht einmal Wahrscheinlichkeiten können wir gegen das Jenseits ins Feld führen, denn Wahrscheinlichkeitsbehauptungen beruhen auf Naturbeobachtung- und der Streit dreht sich um etwas außerhalb der Natur. Genauso wenig helfen Kriterien (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  8
    Das trinitätstheologische Fundamentalprinzip des Anselm von Canterbury Urspung und Geschichte.L. HÖDL - 2002 - Recherches de Theologie Et Philosophie Medievales 69 (1):172-214.
    Vater, Sohn und Heiliger Geist — «diese drei Personen sind der eine Gott und nicht drei Götter... und ist alles eins, wo nicht der Gegensatz der Beziehungen begegnet», heißt es im Glaubensbekenntnis des Konzils von Florenz 1. «Dieses fundamentale Prinzip der Trinitätstheologie wurde zuerst, wie es scheint, von Anselm von Canterbury, De processione Spiritus Sancti c. 1 ausgeführt», wie die gelehrten Herausgeber anmerken. In der Erstausgabe des Denzinger-Enchiridion wurde in Anmerkung auf die Conciliorum collectio..., tom. I des P. J. Hardouin (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  20
    “I am No-Thing…”—The Name and Cleft-Reference of Wo/Man.Gayle L. Ormiston - 1987 - Journal of the British Society for Phenomenology 18 (2):149-161.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Mikro-Zertifikate.Olaf L. Müller - 2009 - Archiv für Rechts- und Sozialphilosophie 95 (2):167-198.
    Wie müsste eine faire Lösung des Klimaproblems aussehen? Wie sollten wir Pflichten und finanzielle Lasten der nötigen CO2-Reduktionen verteilen, wenn es dabei gerecht zugehen soll und keiner übervorteilt werden darf? In meiner Antwort auf diese ethischen Fragen stütze ich mich auf einen Grundsatz, den Angela Merkel formuliert hat: Jeder Mensch hat das Recht, genauso viel CO2-Emissionen zu verursachen wie jeder andere. Anders als die Bundeskanzlerin, die den Grundsatz nur langfristig in die Tat umsetzen will, plädiere ich dafür, dass die Gleichberechtigung (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Die Diebe der Freiheit. Libet und die Neurophysiologen vor dem Tribunal der Metaphysik.Olaf L. Müller - 2007 - In Jan-Christoph Heilinger (ed.), Naturgeschichte der Freiheit. de Gruyter. pp. 335-364.
    Ich möchte den Neurowissenschaftlern, die glauben, mit empirischen Mitteln etwas über menschliche Freiheit herausfinden zu können, eine philosophische Herausforderung entgegensetzen. Meine These lautet: Die Frage nach der menschlichen Freiheit ist ein metaphysisches Problem, das sich empirischer Naturforschung entzieht. Um das zu begründen, werde ich ein extremes Gedankenexperiment durchführen. Ich werde zuerst hypothetisch die Situation eines Subjektes beschreiben, dessen Naturwissenschaft berechtigterweise einen durchgängigen kausalen Determinismus im Gehirn postuliert und dessen Libet-Experimente für all seine Handlungen fatal ausgehen (nicht nur für unbedeutende Handbewegungen). (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  8
    Die „Olympianisierung“ des Fußballs in den USA: Von der Marginalisierung in der amerikanischen Mainstream-Kultur zur Anerkennung als ein alle vier Jahre stattfindendes Ereignis / The “Olympianization” of Soccer in America: From Marginalization in the Cultural Mainstream to a Quadrennial Event.Steven L. Hellerman & Andrei S. Markovits - 2004 - Sport Und Gesellschaft 1 (1):7-29.
    Zusammenfassung In dem Beitrag wird argumentiert, dass sich aufgrund verschiedener Entwicklungen in den letzten zwanzig Jahren die Position des Fußballs in den Vereinigten Staaten im Vergleich zu seiner früheren vollständigen Marginalisierung im Sportraum Amerikas auffällig verändert hat. Zwar vermag der Fußball nirgendwo in den Vereinigten Staaten die kulturelle Vorherrschaft der nordamerikanischen „Großen Vier“ - die eine hegemoniale Sportkultur ausgebildet haben, die vergleichbar ist mit dem, was Fußball praktisch überall sonst in der Welt darstellt - nur ansatzweise streitig zu machen. Gleichwohl (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 981