Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.

Tesis doctoral de Anselmo Romaniega Langa Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una […]

, , , , ,