Journal of Automated Reasoning (Record no. 4456)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02380nas a22003375i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1573-0670 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260610082534.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150723s||||||||ne uu poo|||||| b|EN |d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 1573-0670 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/10817.1573-0670 |
| Source of number or code | doi |
| 210 10 - ABBREVIATED TITLE | |
| Abbreviated title | J Autom Reasoning |
| 245 10 - TITLE STATEMENT | |
| Title | Journal of Automated Reasoning |
| Medium | [electronic resource] / |
| Statement of responsibility, etc. | edited by Jasmin Blanchette. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Dordrecht : |
| Name of producer, publisher, distributor, manufacturer | Springer Netherlands : |
| -- | Imprint: Springer. |
| 300 ## - online resource | |
| Other physical details | online resource. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science—Mathematics. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematical Logic and Foundations. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Symbolic and Algebraic Manipulation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Blanchette, Jasmin. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed version: |
| International Standard Serial Number | 0168-7433 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/10817.1573-0670">https://doi.org/10.1007/10817.1573-0670</a> |
| Public note | Hybrid |
No items available.