Showing 1 - 2 results of 2 for search 'Popescu, Andrei', query time: 0.01s Narrow Search
  1. 1
    Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
    Published 2019
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
    Published 2019
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: