The Higher-Order Prover Leo-III

STEEN, Alexander

Pas de texte intégral

Présentation scientifique dans des universités ou centres de recherche (Présentations scientifiques dans des universités ou centres de recherche)

The Higher-Order Prover Leo-III

STEEN, Alexander

2019

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

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

Documents

Texte intégral

Aucun document disponible.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

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)

Langue du document :

Anglais

Titre :

The Higher-Order Prover Leo-III

Date de publication/diffusion :

26 avril 2019

Nom de la manifestation :

Invited talk

Organisateur de la manifestation :

SRI International, AI Center

Lieu de la manifestation :

Menlo Park, CA, Etats-Unis

Date de la manifestation :

2019-04-26

Manifestation à portée :

International

URL complémentaire :

10.1007/978-3-319-94205-6_8

Disponible sur ORBilu :

depuis le 29 janvier 2020

Statistiques

Nombre de vues

85 (dont 2 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

OpenCitations

citations WoS^™