scientific article; zbMATH DE number 516994
From MaRDI portal
Publication:4282512
zbMath0793.68089MaRDI QIDQ4282512
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The variable containment problem ⋮ Implementing tactics and tacticals in a higher-order logic programming language
Uses Software
This page was built for publication:
