Guest Column: It is dark before dawn

Pas de texte intégral

Article grand public (Allocutions et communications diverses)

Nalon, Cláudia; STEEN, Alexander

2021

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

Aucun document disponible.

Mots-clés :

Automated Theorem Proving; Knowledge representation and reasoning; Automated Reasoning; non-classical logics

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Nalon, Cláudia; University of Brasília

STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Langue du document :

Anglais

Titre :

Guest Column: It is dark before dawn

Date de publication/diffusion :

novembre 2021

Titre du périodique :

Association for Automated Reasoning Newsletter

Maison d'édition :

Association for Automated Reasoning

Volume/Tome :

136

URL complémentaire :

Commentaire :

Guest column in AAR newsletter.

Disponible sur ORBilu :

depuis le 17 décembre 2021

Nombre de vues

181 (dont 2 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)