Media type: E-Book; Thesis Title: Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming Other titles: Generierung von Gegenbeispielen für höherstufige Logik unter Verwendung von funktionalen und logischen Programmen Contributor: Bulwahn, Lukas [Verfasser]; Nipkow, Tobias [Akademischer Betreuer]; Runciman, Colin [Akademischer Betreuer] imprint: München: Universitätsbibliothek der TU München, 2013 Extent: Online-Ressource Language: English Identifier: Keywords: DAT Datenverarbeitung, Informatik ; Hochschulschrift Origination: University thesis: München, Technische Universität München, Diss., 2013 Footnote: Access State: Open Access