Search

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

Search Results

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Author:
Giese, Martin; Kanade, Takeo; Waaler, Arild; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book