1216100
type: Document
issued: 1986-01-01
modified: 2024-07-29T16:20:14.345Z
title: Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional
related by: Relationship
  type: Authorship
created: 2024-07-29T16:20:14.345Z
type: thesis