Automated theorem proving and logic programming: a natural symbiosis
type: Item
instance of: scholarly article
title: Automated theorem proving and logic programming: a natural symbiosis
zbMATH Open document ID: 0736.68072
DOI: 10.1016/0743-1066(91)90008-D
author: Larry Wos
author: William McCune
published in: The Journal of Logic Programming
publication date: 1992-06-25T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 12028
zbMATH Keywords: automated theorem proving
zbMATH Keywords: logic programming
Wikidata QID: Q114262237
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 12028