Matches in SemOpenAlex for { <https://semopenalex.org/work/W1952051253> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1952051253 abstract "Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics." @default.
- W1952051253 created "2016-06-24" @default.
- W1952051253 creator A5074060197 @default.
- W1952051253 creator A5087195990 @default.
- W1952051253 date "1987-08-12" @default.
- W1952051253 modified "2023-09-27" @default.
- W1952051253 title "From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions" @default.
- W1952051253 hasPublicationYear "1987" @default.
- W1952051253 type Work @default.
- W1952051253 sameAs 1952051253 @default.
- W1952051253 citedByCount "0" @default.
- W1952051253 crossrefType "book" @default.
- W1952051253 hasAuthorship W1952051253A5074060197 @default.
- W1952051253 hasAuthorship W1952051253A5087195990 @default.
- W1952051253 hasConcept C102993220 @default.
- W1952051253 hasConcept C119599485 @default.
- W1952051253 hasConcept C124047733 @default.
- W1952051253 hasConcept C127413603 @default.
- W1952051253 hasConcept C128838566 @default.
- W1952051253 hasConcept C165801399 @default.
- W1952051253 hasConcept C172385210 @default.
- W1952051253 hasConcept C199343813 @default.
- W1952051253 hasConcept C199360897 @default.
- W1952051253 hasConcept C2777686260 @default.
- W1952051253 hasConcept C2777796570 @default.
- W1952051253 hasConcept C33923547 @default.
- W1952051253 hasConcept C41008148 @default.
- W1952051253 hasConcept C71924100 @default.
- W1952051253 hasConceptScore W1952051253C102993220 @default.
- W1952051253 hasConceptScore W1952051253C119599485 @default.
- W1952051253 hasConceptScore W1952051253C124047733 @default.
- W1952051253 hasConceptScore W1952051253C127413603 @default.
- W1952051253 hasConceptScore W1952051253C128838566 @default.
- W1952051253 hasConceptScore W1952051253C165801399 @default.
- W1952051253 hasConceptScore W1952051253C172385210 @default.
- W1952051253 hasConceptScore W1952051253C199343813 @default.
- W1952051253 hasConceptScore W1952051253C199360897 @default.
- W1952051253 hasConceptScore W1952051253C2777686260 @default.
- W1952051253 hasConceptScore W1952051253C2777796570 @default.
- W1952051253 hasConceptScore W1952051253C33923547 @default.
- W1952051253 hasConceptScore W1952051253C41008148 @default.
- W1952051253 hasConceptScore W1952051253C71924100 @default.
- W1952051253 hasLocation W19520512531 @default.
- W1952051253 hasOpenAccess W1952051253 @default.
- W1952051253 hasPrimaryLocation W19520512531 @default.
- W1952051253 hasRelatedWork W124666892 @default.
- W1952051253 hasRelatedWork W1501069411 @default.
- W1952051253 hasRelatedWork W1501212217 @default.
- W1952051253 hasRelatedWork W1517725580 @default.
- W1952051253 hasRelatedWork W1554618854 @default.
- W1952051253 hasRelatedWork W1597173728 @default.
- W1952051253 hasRelatedWork W1983957453 @default.
- W1952051253 hasRelatedWork W2017754974 @default.
- W1952051253 hasRelatedWork W2116359956 @default.
- W1952051253 hasRelatedWork W2117766234 @default.
- W1952051253 hasRelatedWork W2148854889 @default.
- W1952051253 hasRelatedWork W2163693197 @default.
- W1952051253 hasRelatedWork W2895148576 @default.
- W1952051253 hasRelatedWork W29316377 @default.
- W1952051253 hasRelatedWork W2954552436 @default.
- W1952051253 hasRelatedWork W71891286 @default.
- W1952051253 hasRelatedWork W1572756580 @default.
- W1952051253 hasRelatedWork W1799115352 @default.
- W1952051253 hasRelatedWork W1947088032 @default.
- W1952051253 hasRelatedWork W2599129805 @default.
- W1952051253 isParatext "false" @default.
- W1952051253 isRetracted "false" @default.
- W1952051253 magId "1952051253" @default.
- W1952051253 workType "book" @default.