scientific article; zbMATH DE number 1252517
From MaRDI portal
Publication:4229404
zbMATH Open0928.68101MaRDI QIDQ4229404FDOQ4229404
Authors:
Publication date: 22 February 1999
Title of this publication is not available (Why is that?)
Recommendations
Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35)
Cited In (21)
- Title not available (Why is that?)
- The application of automated reasoning to formal models of combinatorial optimization
- A posthumous contribution by Larry Wos: excerpts from an unpublished column
- A Wos Challenge Met
- Larry Wos: visions of automated reasoning
- Set of support, demodulation, paramodulation: a historical perspective
- Completing the spectrum of \(r\)-orthogonal Latin squares
- A proof-centric approach to mathematical assistants
- Quasigroups satisfying Stein's third law with a specified number of idempotents
- Lightweight relevance filtering for machine-generated resolution problems
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Title not available (Why is that?)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- A Short Survey of Automated Reasoning
- Automated reasoning in social choice theory: some remarks
- Handbook of automated reasoning. In 2 vols
- The SAT+CAS method for combinatorial search with applications to best matrices
- Schröder quasigroups with a specified number of idempotents
- Proving pointer programs in higher-order logic
- An overview of automated reasoning and related fields
- 25 new \(r\)-self-orthogonal Latin squares
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229404)
