Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III

STEEN, Alexander

Télécharger

Ouvrage publié en tant qu’auteur, traducteur, etc. (Ouvrages)

Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III

STEEN, Alexander

2018 • AKA-Verlag, Germany

Permalien
https://hdl.handle.net/10993/40251

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

thesis-steen.pdf

Preprint Auteur (3.23 MB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

Dahlem Center for Machine Learning and Robotics, Freie Universität Berlin

Disciplines :

Sciences informatiques

Auteur, co-auteur :

STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Co-auteurs externes :

Langue du document :

Anglais

Titre :

Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III

Date de publication/diffusion :

14 septembre 2018

Maison d'édition :

AKA-Verlag, Allemagne

ISBN/EAN :

978-3-89838-739-2

Nombre de pages :

244

Collection et n° de collection :

Dissertations in Artificial Intelligence

URL complémentaire :

http://www.aka-verlag.de/index.php?option=com_virtuemart&view=productdetails&virtuemart_product_id=701&virtuemart_category_id=4&Itemid=482&lang=en

Intitulé du projet de recherche :

Leo-III

Commentaire :

Dissertation, Freie Universität Berlin

Disponible sur ORBilu :

depuis le 05 septembre 2019

Statistiques

Nombre de vues

168 (dont 3 Unilu)

Nombre de téléchargements

686 (dont 3 Unilu)

Voir plus de statistiques