Matches in SemOpenAlex for { <https://semopenalex.org/work/W2775495531> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2775495531 abstract "This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive." @default.
- W2775495531 created "2017-12-22" @default.
- W2775495531 creator A5019840140 @default.
- W2775495531 creator A5061217918 @default.
- W2775495531 date "2017-12-04" @default.
- W2775495531 modified "2023-10-16" @default.
- W2775495531 doi "https://doi.org/10.4204/eptcs.262" @default.
- W2775495531 hasPublicationYear "2017" @default.
- W2775495531 type Work @default.
- W2775495531 sameAs 2775495531 @default.
- W2775495531 citedByCount "0" @default.
- W2775495531 crossrefType "journal-issue" @default.
- W2775495531 hasAuthorship W2775495531A5019840140 @default.
- W2775495531 hasAuthorship W2775495531A5061217918 @default.
- W2775495531 hasBestOaLocation W27754955311 @default.
- W2775495531 hasConcept C108710211 @default.
- W2775495531 hasConcept C115903868 @default.
- W2775495531 hasConcept C120665830 @default.
- W2775495531 hasConcept C121332964 @default.
- W2775495531 hasConcept C171018156 @default.
- W2775495531 hasConcept C192209626 @default.
- W2775495531 hasConcept C206880738 @default.
- W2775495531 hasConcept C2522767166 @default.
- W2775495531 hasConcept C2524010 @default.
- W2775495531 hasConcept C33923547 @default.
- W2775495531 hasConcept C41008148 @default.
- W2775495531 hasConcept C80444323 @default.
- W2775495531 hasConceptScore W2775495531C108710211 @default.
- W2775495531 hasConceptScore W2775495531C115903868 @default.
- W2775495531 hasConceptScore W2775495531C120665830 @default.
- W2775495531 hasConceptScore W2775495531C121332964 @default.
- W2775495531 hasConceptScore W2775495531C171018156 @default.
- W2775495531 hasConceptScore W2775495531C192209626 @default.
- W2775495531 hasConceptScore W2775495531C206880738 @default.
- W2775495531 hasConceptScore W2775495531C2522767166 @default.
- W2775495531 hasConceptScore W2775495531C2524010 @default.
- W2775495531 hasConceptScore W2775495531C33923547 @default.
- W2775495531 hasConceptScore W2775495531C41008148 @default.
- W2775495531 hasConceptScore W2775495531C80444323 @default.
- W2775495531 hasLocation W27754955311 @default.
- W2775495531 hasLocation W27754955312 @default.
- W2775495531 hasOpenAccess W2775495531 @default.
- W2775495531 hasPrimaryLocation W27754955311 @default.
- W2775495531 hasRelatedWork W1480335431 @default.
- W2775495531 hasRelatedWork W2110455199 @default.
- W2775495531 hasRelatedWork W2156433885 @default.
- W2775495531 hasRelatedWork W2260503838 @default.
- W2775495531 hasRelatedWork W2775495531 @default.
- W2775495531 hasRelatedWork W2950385918 @default.
- W2775495531 hasRelatedWork W2964192711 @default.
- W2775495531 hasRelatedWork W2969477136 @default.
- W2775495531 hasRelatedWork W3177773655 @default.
- W2775495531 hasRelatedWork W4298858160 @default.
- W2775495531 isParatext "false" @default.
- W2775495531 isRetracted "false" @default.
- W2775495531 magId "2775495531" @default.
- W2775495531 workType "paratext" @default.