Zoeken

U zocht naar: Auteur Jarvisalo, Matti; Gelder, Allen Filter Auteur: Jarvisalo, Matti; Gelder, Allen weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theory and Applications of Satisfiability Testing – SAT 2013
thumbnail
Full text!
Auteur:
Jarvisalo, Matti; Gelder, Allen; Van Gelder, Allen
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book