ARGO-LIB

swMATH2619MaRDI QIDQ15158FDOQ15158

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/240bbrk5athrj4xf/fulltext.pdf

Described by source

• Automated Reasoning

Cited In (1)

• Logics in Artificial Intelligence

This page was built for software: ARGO-LIB