Guest Column: It is dark before dawn

No full text

Article for a general audience (Diverse speeches and writings)

Nalon, Cláudia; Steen, Alexander

2021

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

No document available.

Keywords :

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

Disciplines :

Computer science

Author, co-author :

Nalon, Cláudia; University of Brasília

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

Language :

English

Title :

Guest Column: It is dark before dawn

Publication date :

November 2021

Journal title :

Association for Automated Reasoning Newsletter

Publisher :

Association for Automated Reasoning

Volume :

136

Additional URL :

Commentary :

Guest column in AAR newsletter.

Available on ORBilu :

since 17 December 2021

Number of views

43 (2 by Unilu)

Number of downloads

0 (0 by Unilu)