BCiC

swMATH26749MaRDI QIDQ38478FDOQ38478

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-540-32275-7_8

Described by source

• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for software: BCiC