Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
Makarenko, Irina; Benzmüller, Christoph (2020): Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding, in: Lecture notes in computer science, Berlin: Springer, S. 116–131, doi: 10.1007/978-3-030-58285-2_9.
Author:
 ; 
Title of the Journal:
Lecture notes in computer science
ISSN:
1611-3349
0302-9743
Conference:
KI 2020: Advances in Artificial Intelligence
Publisher Information:
Year of publication:
2020
Volume:
12325
Pages:
ISBN:
978-3-030-58285-2
978-3-030-58284-5
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 22, 2022

Question on publication

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