tascpl

swMATH949MaRDI QIDQ13693FDOQ13693

Author name not available (Why is that?)

Official website: http://sevein.matap.uma.es/~aciego/tr/tascpl.pdf

Described by source

• Logics in Artificial Intelligence

This page was built for software: tascpl