Search

You searched for: Auteur Seidl, Martina Remove constraint Auteur: Seidl, Martina
1 - 2 of 2
Number of results to display per page

Search Results

1. Theory and Applications of Satisfiability Testing – SAT 2020
thumbnail
Full text!
Author:
Pulina; Seidl, Martina
Publisher:
Springer International Publishing 2020
Format:
e-book
2. Tests and Proofs
thumbnail
Full text!
Author:
Martina Seidl, Nikolai Tillmann; Tillmann, Nikolai
Publisher:
Springer International Publishing 2014
Format:
e-book