Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=156002310



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/156002310
Name Runciman, Colin
Beteiligt an 1 Publikation
  1. Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
    Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013





Treffer 1 von 1
< < > <


E-Mail-IconAdministration