Universal (meta-)logical reasoning : Recent successes
Benzmüller, Christoph (2019): Universal (meta-)logical reasoning : Recent successes, in: Science of computer programming : methods of software design: techniques and applications, Amsterdam [u.a.]: Elsevier, Jg. 172, Nr. 1, S. 48–62, doi: 10.1016/j.scico.2018.10.008.
Author:
Title of the Journal:
Science of computer programming : methods of software design: techniques and applications
ISSN:
0167-6423
Publisher Information:
Year of publication:
2019
Volume:
172
Issue:
1
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
December 23, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/57407