Search Results - TABLEAUX (Conference) Wrocław, Poland)

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Automated reasoning with analytic tableaux and related methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings /

    Published 2015
    “…TABLEAUX (Conference) Wrocław, Poland)…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search