Showing 1 - 3 results of 3 for search 'Peltier, Nicolas', query time: 0.02s Narrow Search
  1. 1
    Automated Model Building
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I
    Published 2020
    Other Authors: “…Peltier, Nicolas…”
    Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II
    Published 2020
    Other Authors: “…Peltier, Nicolas…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: