يعرض 1 - 10 نتائج من 26 نتيجة بحث عن '"Hodges, A."', وقت الاستعلام: 1.30s تنقيح النتائج
  1. 1
    كتاب إلكتروني
    A Propositional Dynamic Logic for CCS Programs

    المؤلفون: Benevides, Mario R. F.Aff1, Aff2, Schechter, L. MenaschéAff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:83-97

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    كتاب إلكتروني
    Expressive Power and Decidability for Memory Logics

    المؤلفون: Areces, CarlosAff1, Figueira, DiegoAff2, Figueira, SantiagoAff3, Aff4, Mera, SergioAff3

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:56-68

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    كتاب إلكتروني
    Reasoning with Uncertainty by Nmatrix–Metric Semantics

    المؤلفون: Arieli, OferAff1, Zamansky, AnnaAff2

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:69-82

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    كتاب إلكتروني
    On a Graph Calculus for Algebras of Relations

    المؤلفون: de Freitas, R.Aff1, Veloso, P. A. S.Aff2, Veloso, S. R. M.Aff3, Viana, P.Aff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:298-312

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Conjunctive Grammars and Alternating Pushdown Automata : (Extended Abstract)

    المؤلفون: Aizikowitz, TamarAff1, Kaminski, MichaelAff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:44-55

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Skolem Theory and Generalized Quantifiers

    المؤلفون: Robaldo, LivioAff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:286-297

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    كتاب إلكتروني
    Hyperintensional Questions

    المؤلفون: Pollard, CarlAff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:272-285

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    كتاب إلكتروني
    Labelled Calculi for Łukasiewicz Logics

    المؤلفون: Galmiche, D.Aff1, Salhi, Y.Aff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:194-207

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    كتاب إلكتروني
    Using α -ctl to Specify Complex Planning Goals

    المؤلفون: do Lago Pereira, SilvioAff1, de Barros, Leliane NunesAff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:260-271

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Inference Processes for Quantified Predicate Knowledge

    المؤلفون: Paris, J. B.Aff1, Rad, S. R.Aff1

    المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

    المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:249-259

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء