scientific article; zbMATH DE number 408786
From MaRDI portal
Publication:4202930
zbMath0819.68028MaRDI QIDQ4202930
Christoph Beierle, Egon Börger
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
TWAM: a certifying abstract machine for logic programs ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Semantic splitting of conditional belief bases
Uses Software
This page was built for publication: