Sobre la negación y la inferencia no monótona en la programación en Lógica
| Publicado en: | Congreso Argentino de Ciencias de la Computación (5º : 1999 : Tandil) - Universidad Nacional del Centro de la Provincia de Buenos Aires - Ateneo de Profesores Universitarios de Computación (7º : 1999 : Tandil) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (3ª : 1999 : Tandil) - CACIC [CD-ROM] - . |
|---|---|
| Autor Principal: | |
| Formato: | Capítulo de libro |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción no disponible. |