Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2004 2006 2007 2008 2009 2011 2017 2018 2020 2021 2023 2024 2024

• 148 Konferencebidrag i proceedings
• 88 Tidsskriftartikel
• 32 Bidrag til bog/antologi
• 30 Konferenceartikel
• 123 Mere
  • 29 Antologi
  • 24 Paper
  • 12 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 8 Udgivelser på nettet - Net-publikation
  • 7 Konferenceabstrakt til konference
  • 6 Encyclopædiartikel
  • 3 Kompendium/lecture notes
  • 3 Forord/efterskrift
  • 3 Preprint
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2009

  Hybrid Logic and Its Proof-Theory

  Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 124).

  Publikation: Bog/antologi/afhandling/rapport › Doktordisputats