Alexander Steen

Alexander Steen

Postdoctoral researcher

Faculté ou Centre Faculty of Science, Technology and Communication
Unité de recherche RU CSC
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0345-090
Téléphone (+352) 46 66 44 6670
Fax (+352) 46 66 44 36670
powered by


See detailGCAI-2018. 4th Global Conference on Artificial Intelligence
Lee, Daniel; Steen, Alexander; Walsh, Toby

Book published by EasyChair (2018)

Full Text
See detailThe Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph

in Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (2018)

Top of Page