Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:

    ORCID: 0000-0002-2622-2547

    Udgivelsesår:
    Alle
    101 - 110 ud af 110Pr. side: 10
    Sortering: 1. forfatter

    1. A.N. Prior's Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, The Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 399-446

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    2. Modern Temporal Logic: The Philosophical Background

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 447-498

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    3. Reasoning about Plural Entities in a Temporal Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 s. (Natural and Formal Languages, Bind 16).

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    4. Udgivet

      Preface

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 okt. 2012, 2 s.

      Publikation: Andet › Andet bidrag › Forskning

    5. Determinism and the Origins of Temporal Logic

      Øhrstrøm, P., Braüner, T. & Hasle, Per Frederik Vilhelm, 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (red.).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    6. Logical Models of Causal and Temporal reasoning

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Pedersen, S. A., 1992, Simulations, Evaluations and Models: MOHAWC: Esprit Basic Research Action 3105. Risø National Laboratory, Roskilde, 19 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    7. Time in Philosophical Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2009, Encyclopedia of Database Systems. Springer, s. 3107-3111 5 s.

      Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

    8. Medieval Logic and Natural Language Understanding

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. North Holland, Dordrecht, s. 75-91 17 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    9. Udgivet

      On Prior's Frist Things in Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2014, First things in Logic. Aalborg: Aalborg University Press, s. 4-5 2 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

    10. Recent Advances in Tense Logic [annoteret udgave af Arthur N. Priors artikel]

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm, Braüner, T. & Copeland, J., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapport › Kommentar › Forskning

    Forrige 1...7 8 9 10 11 Næste

    ID: 43863200