يعرض 1 - 10 نتائج من 531 نتيجة بحث عن '"Computability logic"', وقت الاستعلام: 1.10s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Lifeworld art: on Husserl's Crisis book and beyond.

    المؤلفون: Figal, Günter

    المصدر: Continental Philosophy Review; Dec2022, Vol. 55 Issue 4, p417-430, 14p

    مصطلحات موضوعية: LIFEWORLD, ART & science, ABSTRACTION in literature, COMPUTABILITY logic, COMPUTABLE functions

    People: HUSSERL, Edmund, 1859-1938

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  2. 2
    مراجعة
    Anthologie de la calculabilité: edited by J. Mosconi and M. Bourdeau, Paris, Cassini, 2022, xviii + 798 pp., €50, (hardback) ISBN 978-2-84225-094-2.

    المؤلفون: Cantù, P.

    المصدر: History & Philosophy of Logic; Aug2024, Vol. 45 Issue 3, p378-380, 3p

    مصطلحات موضوعية: COMPUTABILITY logic, NONFICTION

    Reviews & Products: ANTHOLOGIE de la calculabilite (Book)

    People: MOSCONI, Joseph, BOURDEAU, John

    PDF full text from Publisher Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Computability, Notation, and de re Knowledge of Numbers.

    المؤلفون: Shapiro, Stewart, Snyder, Eric, Samuels, Richard

    المصدر: Philosophies; Mar2022, Vol. 7 Issue 1, p1-10, 10p

    مصطلحات موضوعية: COMPUTABILITY logic, THEORY of knowledge, PHILOSOPHY

    People: KRIPKE, Saul A., 1940-2022, TURING, Alan Mathison, 1912-1954

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Model Completeness, Uniform Interpolants and Superposition Calculus: (With Applications to Verification of Data-Aware Processes).

    المؤلفون: Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey

    المصدر: Journal of Automated Reasoning; Oct2021, Vol. 65 Issue 7, p941-969, 29p

    مصطلحات موضوعية: PROPOSITIONAL calculus, INTERPOLATION, MODEL theory, UNARY algebras, COMPUTABILITY logic

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    A few words about Cris Calude on the occasion of his 70th birthday.

    المؤلفون: Sergeyev, Yaroslav D.

    المصدر: CDMTCS Research Report Series; Oct2022, Issue 566, p60-62, 3p

    مصطلحات موضوعية: QUANTUM computing, BIRTHDAYS, INFINITY (Mathematics), COMPUTABILITY logic

    People: CALUDE, C.

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Computability Theory on Polish Metric Spaces.

    المؤلفون: Thewmorakot, Teerawat

    المصدر: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p664-664, 1p

    مصطلحات موضوعية: METRIC spaces, COMPUTABILITY logic, MATHEMATICAL notation, SET theory, CONTINUOUS functions

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Computational Thinking Skills of Turkish and Indian Teacher Candidates: A Comparative Study.

    المؤلفون: ÇAKIR, Recep, ROSALİNE, Salini, KORKMAZ, Özgen

    المصدر: Psychological & Educational Studies Review; Jan2021, Vol. 8 Issue 1, p24-37, 14p

    مصطلحات موضوعية: NATIVE American teachers, TURKISH language teachers, COMPUTABILITY logic, COMPARATIVE studies, CRONBACH'S alpha, PROBLEM solving ability testing

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Undecidability of Propositional Separation Logic and Its Neighbours.

    المؤلفون: BROTHERSTON, JAMES, KANOVICH, MAX

    المصدر: Journal of the ACM; Apr2014, Vol. 61 Issue 2, p14-43, 43p

    مصطلحات موضوعية: MATHEMATICAL logic, COMPUTABILITY logic, MEMORY research, MATHEMATICAL research, SYSTEMS theory, BOOLEAN functions

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Hobson's Conception of Definable Numbers.

    المؤلفون: Fan, Zhao

    المصدر: History & Philosophy of Logic; May2020, Vol. 41 Issue 2, p128-139, 12p

    مصطلحات موضوعية: MATHEMATICIANS, DEFINABILITY theory (Mathematical logic), COMPUTABILITY logic, MODULES (Algebra)

    People: TURING, Alan Mathison, 1912-1954

    PDF full text from Publisher Full Text Finder
    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Canonicity for Cubical Type Theory.

    المؤلفون: Huber, Simon

    المصدر: Journal of Automated Reasoning; Aug2019, Vol. 63 Issue 2, p173-210, 38p

    مصطلحات موضوعية: TYPE theory, AXIOMS, NATURAL numbers, SEMANTICS, COMPUTABILITY logic

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء