Springe direkt zu Inhalt
Freie Universität Berlin
Fachbereich Mathematik und Informatik
Service-Navigation
Startseite
Personen
Kontakt
Imprint
Datenschutz
Barrierefreiheit
Suchbegriffe
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik
/
Informatik
/
Dahlem Center for Machine Learning and Robotics
Menü
Members
loading...
Open Positions
loading...
Publications
loading...
Teaching
loading...
Theses
loading...
Projekte
loading...
News
loading...
Videos
loading...
FAQs
loading...
Pfadnavigation
Startseite
Informatik
Arbeitsgruppen
Dahlem Center for Machine Learning and Robotics
Theses
Completed theses
Bachelor theses
2016
Improved Computation of CNF in Higher-Order Logics
Kim Kern:
Improved Computation of CNF in Higher-Order Logics
Betreuer
Christoph Benzmüller
, Elfriede Fehr
Abschluss
Bachelor of Science (B.Sc.)
Abgabedatum
19.05.2015
Projekt
Leo-III
Downloads
Bachelorarbeit Kim Kern
Für eine optimale Darstellung dieser Seite aktivieren Sie bitte JavaScript.