The area method. A recapitulation

From MaRDI portal
Publication:437042

DOI10.1007/s10817-010-9209-7zbMath1242.68281OpenAlexW86824626WikidataQ57552308 ScholiaQ57552308MaRDI QIDQ437042

Predrag Janičić, Julien Narboux, Pedro Quaresma

Publication date: 17 July 2012

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9209-7




Related Items


Uses Software


Cites Work


This page was built for publication: The area method. A recapitulation