Reference : Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40799
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
In press
KI – Künstliche Intelligenz
Springer
Yes
International
0933-1875
1610-1987
Researchers ; Students
http://hdl.handle.net/10993/40799
10.1007/s13218-019-00628-8

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
main.pdfAuthor preprint385.14 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.