Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A General Similarity Framework for Horn Clause Logic
Ferilli, S., Basile, T.M.A., Biba, M., Di Mauro, N., Esposito, F.
Published in Fundamenta informaticae (01.01.2009)
Published in Fundamenta informaticae (01.01.2009)
Get full text
Journal Article