MiG

Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics

C. Benzmüller— 2011

TitelCombining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics
VerfasserC. Benzmüller
Datum2011
KennungISSN: 1012-2443, doi: 10.1007/s10472-011-9249-7
Quelle/n
Erschienen inAnnals of Mathematics and Artificial Intelligence (Special Issue Computational Logics in Multiagent Systems (CLIMA XI) 62(1-2)
Spracheeng
ArtText
Größe oder Länge103-128