BCiC

MaRDI QIDQ38478swMATHFDO

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