No full text
Article for a general audience (Diverse speeches and writings)
Guest Column: It is dark before dawn
Nalon, Cláudia; STEEN, Alexander
2021
 

Files


Full Text
No document available.

Send to



Details



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
Commentary :
Guest column in AAR newsletter.
Available on ORBilu :
since 17 December 2021

Statistics


Number of views
45 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu