@slides{          Thomasg,
  Author        = "Thomas, Wolfgang",
  date-added    = "2014-08-04 07:28:36 +0000",
  date-modified = "2014-08-04 07:30:58 +0000",
  Title         = "Logic and Automata",
  where         = "EATCS summer school in Tel{\v c}",
  Year          = "2014",
  File          = "Logic and Automata - Thomas (0) (0) - a - a - i.pdf",
  file-2        = "Logic and Automata - Thomas (1) (0) - a - a - i.pdf"
}

@slides{ Thomasg, Author = "Thomas, Wolfgang", date-added = "2014-08-04 07:28:36 +0000", date-modified = "2014-08-04 07:30:58 +0000", Title = "Logic and Automata", where = "EATCS summer school in Tel{\v c}", Year = "2014", File = "Logic and Automata - Thomas (0) (0) - a - a - i.pdf", file-2 = "Logic and Automata - Thomas (1) (0) - a - a - i.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge