Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014сборник

Статьи, опубликованные в сборнике

---

• 
  • 2014 Socratic Proofs for Propositional Linear-Time Logic
  • Урбанский М., Болотов А.Е., Григорьев О.М., Шангин В.О.
  • в сборнике Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014, тезисы, с. 34-35