Universität Bern
  • Startseite
  • Menu
  • Inhalt
  • Kontakt
  • Suche
  • Sprachwahl
  • Wichtige Seiten

Portal
UniBE
  • Faculties
    & Institutes
  • Faculty of
    Science
  • Institute of Computer Science
Faculties ​& Institutes
Faculty of ​Science
Institute of Computer Science

Institute of Computer Science

Menu öffnen

  • Menu schliessen
  • Research
  • LTG
  • Homepage
  • Studies
  • Research
    • LTG
      • People
      • Publications
      • Research Projects
      • Studies
        • Student Projects
      • News and Events
  • Events
  • About us
Portal
UniBE
Search
Research

LTG

  • People
  • Publications
  • Research Projects
  • Studies
  • News and Events

Logic and Theory Group (LTG)

Logic land

Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.

News and Events

Relationale Datenbanken

NEW BOOK AVAILABLE

Logics of Proofs and Justifications

NEW BOOK AVAILABLE

Vorherige Weitere

  • Share
    • Facebook
    • E-Mail
    • Twitter
    • LinkedIn
  • Print

You are here

  • Institute of Computer Science
  • Research
  • LTG
Top

Weitere Informationen über diesen Webauftritt

Wichtige Seiten

  • Contact
  • Map
  • Jobs
  • Library
  • Media
  • Webmail
  • KSL
  • Uni intern

Sprachwahl

  • EN

Site-Suche

Rechtliches und Impressum

  • © 2020 University of Bern
  • Imprint
  • Legal Notice

Unsere Adresse

University of Bern
Hochschulstrasse 6
3012 Bern
Universität Bern

Unsere Partner

Swiss University