Computational logic: its origins and applications

From MaRDI portal
Publication:4559535

DOI10.1098/rspa.2017.0872zbMath1402.68160arXiv1712.04375OpenAlexW3099800985WikidataQ55174437 ScholiaQ55174437MaRDI QIDQ4559535

Lawrence Charles Paulson

Publication date: 4 December 2018

Published in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.04375



Related Items


Uses Software


Cites Work