Challenges in Higher-Order Theorem Proving

STEEN, Alexander

Pas de texte intégral

Article grand public (Allocutions et communications diverses)

Challenges in Higher-Order Theorem Proving

STEEN, Alexander

2019

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

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 :

Challenges in Higher-Order Theorem Proving

Date de publication/diffusion :

juillet 2019

Titre du périodique :

Association for Automated Reasoning, Newsletter

Volume/Tome :

128

URL complémentaire :

http://aarinc.org/Newsletters/128-2019-07.html#guest

Commentaire :

Guest column in the AAR newsletter.

Disponible sur ORBilu :

depuis le 15 septembre 2019

Statistiques

Nombre de vues

162 (dont 6 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques