Reference : Guest Column: It is dark before dawn
Diverse speeches and writings : Article for general public
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/49065
Guest Column: It is dark before dawn
English
Nalon, Cláudia [University of Brasília]
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Nov-2021
Association for Automated Reasoning Newsletter
Association for Automated Reasoning
136
No
International
[en] Automated Theorem Proving ; Knowledge representation and reasoning ; Automated Reasoning ; non-classical logics
Researchers
http://hdl.handle.net/10993/49065
http://aarinc.org/Newsletters/136-2021-11.html#guest
Guest column in AAR newsletter.

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.