Vol-1067⫷ Vol-1068 ⫸Vol-1069
urn:nbn:de:0074-1068-0


None⫷None⫸None
Evelina LammaElena BellodiFabrizio RiguzziRiccardo Zese

A Description Logics Tableau Reasoner in Prolog