Search Results - Kronenburg, Martin

  • Showing 1 – 1 results of 1
Filter by
  1. 1
    Cover Image

    Planning for distributed theorem proving: the team work approach
    by Denzinger, Jörg, Kronenburg, Martin

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: