Search

You searched for: Auteur Brandt, Jens Remove constraint Auteur: Brandt, Jens
1 entry found
Number of results to display per page

Search Results

1. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Author:
Schneider, Klaus; Brandt, Jens; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book