scientific article; zbMATH DE number 1863374
From MaRDI portal
Publication:4790648
zbMath1005.68543MaRDI QIDQ4790648
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
TPS: A hybrid automatic-interactive system for developing proofs ⋮ Providing a formal linkage between MDG and HOL ⋮ Linear Arithmetic with Stars ⋮ Integrating external deduction tools with ACL2 ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Data compression for proof replay
Uses Software