Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504309167> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1504309167 abstract "The purpose of the paper is to present the Logics Workbench, an interactive system aiming to facilitate the access to logical formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the human interface and a powerful information system, which covers online help and documentation." @default.
- W1504309167 created "2016-06-24" @default.
- W1504309167 creator A5003409902 @default.
- W1504309167 creator A5019358632 @default.
- W1504309167 creator A5063013505 @default.
- W1504309167 creator A5076967240 @default.
- W1504309167 date "1995-01-01" @default.
- W1504309167 modified "2023-09-27" @default.
- W1504309167 title "Propositional logics on the computer" @default.
- W1504309167 cites W1570374618 @default.
- W1504309167 cites W1981368022 @default.
- W1504309167 cites W2020852080 @default.
- W1504309167 cites W2026117380 @default.
- W1504309167 cites W2070324762 @default.
- W1504309167 cites W2073491323 @default.
- W1504309167 cites W2076073997 @default.
- W1504309167 cites W2092765780 @default.
- W1504309167 cites W2131739376 @default.
- W1504309167 cites W4252025696 @default.
- W1504309167 doi "https://doi.org/10.1007/3-540-59338-1_44" @default.
- W1504309167 hasPublicationYear "1995" @default.
- W1504309167 type Work @default.
- W1504309167 sameAs 1504309167 @default.
- W1504309167 citedByCount "18" @default.
- W1504309167 countsByYear W15043091672013 @default.
- W1504309167 countsByYear W15043091672015 @default.
- W1504309167 countsByYear W15043091672016 @default.
- W1504309167 crossrefType "book-chapter" @default.
- W1504309167 hasAuthorship W1504309167A5003409902 @default.
- W1504309167 hasAuthorship W1504309167A5019358632 @default.
- W1504309167 hasAuthorship W1504309167A5063013505 @default.
- W1504309167 hasAuthorship W1504309167A5076967240 @default.
- W1504309167 hasConcept C102993220 @default.
- W1504309167 hasConcept C115903868 @default.
- W1504309167 hasConcept C14523651 @default.
- W1504309167 hasConcept C154945302 @default.
- W1504309167 hasConcept C171018156 @default.
- W1504309167 hasConcept C199360897 @default.
- W1504309167 hasConcept C2524010 @default.
- W1504309167 hasConcept C2779145975 @default.
- W1504309167 hasConcept C33203268 @default.
- W1504309167 hasConcept C33923547 @default.
- W1504309167 hasConcept C36464697 @default.
- W1504309167 hasConcept C41008148 @default.
- W1504309167 hasConcept C56666940 @default.
- W1504309167 hasConcept C69562738 @default.
- W1504309167 hasConcept C74640108 @default.
- W1504309167 hasConceptScore W1504309167C102993220 @default.
- W1504309167 hasConceptScore W1504309167C115903868 @default.
- W1504309167 hasConceptScore W1504309167C14523651 @default.
- W1504309167 hasConceptScore W1504309167C154945302 @default.
- W1504309167 hasConceptScore W1504309167C171018156 @default.
- W1504309167 hasConceptScore W1504309167C199360897 @default.
- W1504309167 hasConceptScore W1504309167C2524010 @default.
- W1504309167 hasConceptScore W1504309167C2779145975 @default.
- W1504309167 hasConceptScore W1504309167C33203268 @default.
- W1504309167 hasConceptScore W1504309167C33923547 @default.
- W1504309167 hasConceptScore W1504309167C36464697 @default.
- W1504309167 hasConceptScore W1504309167C41008148 @default.
- W1504309167 hasConceptScore W1504309167C56666940 @default.
- W1504309167 hasConceptScore W1504309167C69562738 @default.
- W1504309167 hasConceptScore W1504309167C74640108 @default.
- W1504309167 hasLocation W15043091671 @default.
- W1504309167 hasOpenAccess W1504309167 @default.
- W1504309167 hasPrimaryLocation W15043091671 @default.
- W1504309167 hasRelatedWork W1488387378 @default.
- W1504309167 hasRelatedWork W1489391022 @default.
- W1504309167 hasRelatedWork W1545134309 @default.
- W1504309167 hasRelatedWork W1561988463 @default.
- W1504309167 hasRelatedWork W1570891932 @default.
- W1504309167 hasRelatedWork W1593443951 @default.
- W1504309167 hasRelatedWork W1599587354 @default.
- W1504309167 hasRelatedWork W1605860778 @default.
- W1504309167 hasRelatedWork W1851327922 @default.
- W1504309167 hasRelatedWork W1993086076 @default.
- W1504309167 hasRelatedWork W2015651023 @default.
- W1504309167 hasRelatedWork W2076073997 @default.
- W1504309167 hasRelatedWork W2126755595 @default.
- W1504309167 hasRelatedWork W2131225255 @default.
- W1504309167 hasRelatedWork W2344586497 @default.
- W1504309167 hasRelatedWork W2481330961 @default.
- W1504309167 hasRelatedWork W2506909121 @default.
- W1504309167 hasRelatedWork W2810803621 @default.
- W1504309167 hasRelatedWork W4983232 @default.
- W1504309167 hasRelatedWork W1543362735 @default.
- W1504309167 isParatext "false" @default.
- W1504309167 isRetracted "false" @default.
- W1504309167 magId "1504309167" @default.
- W1504309167 workType "book-chapter" @default.