Reference : Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Books : Book published as author, translator, etc.
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40251
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
14-Sep-2018
AKA-Verlag
Dissertations in Artificial Intelligence
244
978-3-89838-739-2
Germany
Dahlem Center for Machine Learning and Robotics, Freie Universit├Ąt Berlin
Leo-III
Researchers ; Students
http://hdl.handle.net/10993/40251
http://www.aka-verlag.de/index.php?option=com_virtuemart&view=productdetails&virtuemart_product_id=701&virtuemart_category_id=4&Itemid=482&lang=en
Dissertation, Freie Universit├Ąt Berlin

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
thesis-steen.pdfAuthor preprint3.15 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.