Search Results       Your search for [author]Spies, Katharina returned 1 record.           Proof technology and computation. Washington, DC: IOS Press, 2006. Subject: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Computer software -- Development -- Congresses.          Add to Book Cart Relevance: 21.64%