Matches in SemOpenAlex for { <https://semopenalex.org/work/W80604035> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W80604035 abstract "From the Publisher:Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to traditional topics, the book covers material that bridges the gap between automated reasoning and related areas. Examples include model checking, nonmonotonic reasoning, numerical constraints, description logics, and implementation of declarative programming languages.The book consists of eight parts. After an overview of the early history of automated deduction, the areas covered are reasoning methods in first-order logic; equality and other built-in theories; methods of automated reasoning using induction; higher-order logic, which is used in a number of automatic and interactive proof-development systems; automated reasoning in nonclassical logics; decidable classes and model building; and implementation-related questions." @default.
- W80604035 created "2016-06-24" @default.
- W80604035 creator A5029640432 @default.
- W80604035 creator A5054629753 @default.
- W80604035 date "2001-09-01" @default.
- W80604035 modified "2023-09-24" @default.
- W80604035 title "Handbook of Automated Reasoning: Volume 1" @default.
- W80604035 hasPublicationYear "2001" @default.
- W80604035 type Work @default.
- W80604035 sameAs 80604035 @default.
- W80604035 citedByCount "31" @default.
- W80604035 countsByYear W806040352012 @default.
- W80604035 countsByYear W806040352014 @default.
- W80604035 countsByYear W806040352015 @default.
- W80604035 countsByYear W806040352017 @default.
- W80604035 countsByYear W806040352018 @default.
- W80604035 crossrefType "book" @default.
- W80604035 hasAuthorship W80604035A5029640432 @default.
- W80604035 hasAuthorship W80604035A5054629753 @default.
- W80604035 hasConcept C102993220 @default.
- W80604035 hasConcept C115903868 @default.
- W80604035 hasConcept C128838566 @default.
- W80604035 hasConcept C153269930 @default.
- W80604035 hasConcept C154945302 @default.
- W80604035 hasConcept C159032336 @default.
- W80604035 hasConcept C161301231 @default.
- W80604035 hasConcept C17744445 @default.
- W80604035 hasConcept C195344581 @default.
- W80604035 hasConcept C199360897 @default.
- W80604035 hasConcept C199539241 @default.
- W80604035 hasConcept C2776359362 @default.
- W80604035 hasConcept C37335422 @default.
- W80604035 hasConcept C41008148 @default.
- W80604035 hasConcept C80444323 @default.
- W80604035 hasConcept C89288958 @default.
- W80604035 hasConcept C94625758 @default.
- W80604035 hasConcept C97364631 @default.
- W80604035 hasConceptScore W80604035C102993220 @default.
- W80604035 hasConceptScore W80604035C115903868 @default.
- W80604035 hasConceptScore W80604035C128838566 @default.
- W80604035 hasConceptScore W80604035C153269930 @default.
- W80604035 hasConceptScore W80604035C154945302 @default.
- W80604035 hasConceptScore W80604035C159032336 @default.
- W80604035 hasConceptScore W80604035C161301231 @default.
- W80604035 hasConceptScore W80604035C17744445 @default.
- W80604035 hasConceptScore W80604035C195344581 @default.
- W80604035 hasConceptScore W80604035C199360897 @default.
- W80604035 hasConceptScore W80604035C199539241 @default.
- W80604035 hasConceptScore W80604035C2776359362 @default.
- W80604035 hasConceptScore W80604035C37335422 @default.
- W80604035 hasConceptScore W80604035C41008148 @default.
- W80604035 hasConceptScore W80604035C80444323 @default.
- W80604035 hasConceptScore W80604035C89288958 @default.
- W80604035 hasConceptScore W80604035C94625758 @default.
- W80604035 hasConceptScore W80604035C97364631 @default.
- W80604035 hasLocation W806040351 @default.
- W80604035 hasOpenAccess W80604035 @default.
- W80604035 hasPrimaryLocation W806040351 @default.
- W80604035 hasRelatedWork W1513426895 @default.
- W80604035 hasRelatedWork W1513576223 @default.
- W80604035 hasRelatedWork W1521419290 @default.
- W80604035 hasRelatedWork W1530765221 @default.
- W80604035 hasRelatedWork W1541434994 @default.
- W80604035 hasRelatedWork W1542417898 @default.
- W80604035 hasRelatedWork W1549008998 @default.
- W80604035 hasRelatedWork W1555563750 @default.
- W80604035 hasRelatedWork W1583295953 @default.
- W80604035 hasRelatedWork W1585533089 @default.
- W80604035 hasRelatedWork W1617938924 @default.
- W80604035 hasRelatedWork W1646117648 @default.
- W80604035 hasRelatedWork W1766332311 @default.
- W80604035 hasRelatedWork W1807555267 @default.
- W80604035 hasRelatedWork W2011184850 @default.
- W80604035 hasRelatedWork W2057361103 @default.
- W80604035 hasRelatedWork W2100738443 @default.
- W80604035 hasRelatedWork W2128151578 @default.
- W80604035 hasRelatedWork W2737451472 @default.
- W80604035 hasRelatedWork W3021301249 @default.
- W80604035 isParatext "false" @default.
- W80604035 isRetracted "false" @default.
- W80604035 magId "80604035" @default.
- W80604035 workType "book" @default.