Universal (meta-)logical reasoning : Recent successes

Benzmüller, Christoph

doi:10.1016/j.scico.2018.10.008

Universal (meta-)logical reasoning : Recent successes

Benzmüller, Christoph
In: Science of computer programming : methods of software design: techniques and applications. 172 (2019), 1, p. 48-62
DOI: 10.1016/j.scico.2018.10.008

Details

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