Universal (meta-)logical reasoning : Recent successes





Author(s): Benzmüller, Christoph  
Title of the Journal: Science of computer programming : methods of software design: techniques and applications
ISSN: 0167-6423
Publisher Information: Amsterdam [u.a.] : Elsevier
Year of publication: 2019
Volume: 172
Issue: 1
Pages: 48-62
Language(s): English
DOI: 10.1016/j.scico.2018.10.008
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/57407
Release Date: 23. December 2022