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 |