In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology…
Fecha:
2012-10-31
Recurso:
Unversidad Nacional de La Plata
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®