scientific article; zbMATH DE number 53302
From MaRDI portal
Publication:4003525
Recommendations
- scientific article; zbMATH DE number 1252517
- scientific article; zbMATH DE number 4104410
- Automated reasoning and mathematics. Essays in memory of William W. McCune
- A Short Survey of Automated Reasoning
- An overview of automated reasoning and related fields
- scientific article; zbMATH DE number 4119665
- Foreword to the special issue on automated reasoning
- Mechanizing Mathematical Reasoning
- Larry Wos: visions of automated reasoning
- An introduction to mechanized reasoning
Cited in
(22)- Phase portrait approximation using dynamic neural networks
- The resonance strategy
- Finding modes with equality comparisons
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Machine learning guidance for connection tableaux
- Larry Wos: visions of automated reasoning
- Set of support, demodulation, paramodulation: a historical perspective
- Multidimensional period recovery
- Finding median in read-only memory on integer input
- Analysis of Boyer and Moore's \texttt{MJRTY} algorithm
- Machines Reasoning About Machines: 2015
- scientific article; zbMATH DE number 1252517 (Why is no real title available?)
- Mathematical inference and logical inference
- Automated reasoning in social choice theory: some remarks
- scientific article; zbMATH DE number 1568006 (Why is no real title available?)
- A novel asynchronous parallelism scheme for first-order logic
- Resilient level ancestor, bottleneck, and lowest common ancestor queries in dynamic trees
- Fast identification of heavy hitters by cached and packed group testing
- Lemmas: generation, selection, application
- Investigations into proof structures
- Computer theorem proving in mathematics
- Binary resolution over Boolean lattices
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 Q4003525)
