scientific article; zbMATH DE number 1252517
From MaRDI portal
Publication:4229404
zbMath0928.68101MaRDI QIDQ4229404
No author found.
Publication date: 22 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Mechanization of proofs and logical operations (03B35)
Related Items
A proof-centric approach to mathematical assistants, \textsc{Conjure}: automatic generation of constraint models from problem specifications, 25 new \(r\)-self-orthogonal Latin squares, Completing the spectrum of \(r\)-orthogonal Latin squares, Quasigroups satisfying Stein's third law with a specified number of idempotents, Proving pointer programs in higher-order logic, Lightweight relevance filtering for machine-generated resolution problems, The SAT+CAS method for combinatorial search with applications to best matrices, Schröder quasigroups with a specified number of idempotents, On the modelling of search in theorem proving -- towards a theory of strategy analysis, Larry Wos: visions of automated reasoning
Uses Software
