Showing 1 - 2 results of 2 for search 'Walther, Christoph' Refine Results
  1. 1
    A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
    by Walther, Christoph
    Published 1987
    Book
    Save to List
    Saved in:
  2. 2
    Zeit, Medien, Wahrnehmung / herausgegeben von Mike Sandbothe und Walther Ch. Zimmerli.
    Published 1994
    Other Authors: '; “...Zimmerli, Walther Christoph...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search