| 000 | 02380nas a22003375i 4500 | ||
|---|---|---|---|
| 001 | 1573-0670 | ||
| 003 | DE-He213 | ||
| 005 | 20260610082534.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150723s||||||||ne uu poo|||||| b|EN |d | ||
| 022 | _a1573-0670 | ||
| 024 | 7 |
_a10.1007/10817.1573-0670 _2doi |
|
| 210 | 1 | 0 | _aJ Autom Reasoning |
| 245 | 1 | 0 |
_aJournal of Automated Reasoning _h[electronic resource] / _cedited by Jasmin Blanchette. |
| 264 | 1 |
_aDordrecht : _bSpringer Netherlands : _bImprint: Springer. |
|
| 300 | _bonline resource. | ||
| 520 | _aThe Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning. | ||
| 650 | 0 | _aMachine theory. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aComputer science—Mathematics. | |
| 650 | 1 | 4 | _aFormal Languages and Automata Theory. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 650 | 2 | 4 | _aMathematical Logic and Foundations. |
| 650 | 2 | 4 | _aSymbolic and Algebraic Manipulation. |
| 700 | 1 |
_aBlanchette, Jasmin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 776 | 0 | 8 |
_iPrinted version: _x0168-7433 |
| 856 | 4 | 0 |
_uhttps://doi.org/10.1007/10817.1573-0670 _zHybrid |
| 999 |
_c4456 _d4456 |
||