References of "KI – Künstliche Intelligenz"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

in KI – Künstliche Intelligenz (2020), 34(1), 105-108

Detailed reference viewed: 124 (8 UL)