The translation of formal proofs into English
type: Item
instance of: scholarly article
title: The translation of formal proofs into English
zbMATH Open document ID: 0333.68062
DOI: 10.1016/0004-3702(76)90007-2
author: Daniel Chester
published in: Artificial Intelligence
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68W99
zbMATH DE Number: 3521539
MaRDI profile type: Publication
full work available at URL: 0004-3702(76)90007-2
OpenAlex ID: W2033389948
cites work: Q5815602
description: scientific article; zbMATH DE number 3521539