Matches in SemOpenAlex for { <https://semopenalex.org/work/W628881383> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W628881383 abstract "Mathematical preliminaries - sets, relations, functions propositional logic and calculus - syntax, semantics, conditional statements, implications, logical equivalence, tautologies, deductive rules predicate calculus overview of formal methods introduction to Z Z calculus illustrative examples using Z." @default.
- W628881383 created "2016-06-24" @default.
- W628881383 creator A5015182830 @default.
- W628881383 creator A5055926912 @default.
- W628881383 creator A5066329576 @default.
- W628881383 date "1994-04-01" @default.
- W628881383 modified "2023-09-27" @default.
- W628881383 title "Introductory Logic and Formal Methods" @default.
- W628881383 hasPublicationYear "1994" @default.
- W628881383 type Work @default.
- W628881383 sameAs 628881383 @default.
- W628881383 citedByCount "4" @default.
- W628881383 crossrefType "book" @default.
- W628881383 hasAuthorship W628881383A5015182830 @default.
- W628881383 hasAuthorship W628881383A5055926912 @default.
- W628881383 hasAuthorship W628881383A5066329576 @default.
- W628881383 hasConcept C100481476 @default.
- W628881383 hasConcept C102993220 @default.
- W628881383 hasConcept C110039528 @default.
- W628881383 hasConcept C118615104 @default.
- W628881383 hasConcept C136119220 @default.
- W628881383 hasConcept C14523651 @default.
- W628881383 hasConcept C154945302 @default.
- W628881383 hasConcept C156325763 @default.
- W628881383 hasConcept C184337299 @default.
- W628881383 hasConcept C191222856 @default.
- W628881383 hasConcept C19689857 @default.
- W628881383 hasConcept C199343813 @default.
- W628881383 hasConcept C199360897 @default.
- W628881383 hasConcept C202444582 @default.
- W628881383 hasConcept C203659156 @default.
- W628881383 hasConcept C2777686260 @default.
- W628881383 hasConcept C2780069185 @default.
- W628881383 hasConcept C30128091 @default.
- W628881383 hasConcept C32241873 @default.
- W628881383 hasConcept C33203268 @default.
- W628881383 hasConcept C33923547 @default.
- W628881383 hasConcept C41008148 @default.
- W628881383 hasConcept C60048249 @default.
- W628881383 hasConcept C62073222 @default.
- W628881383 hasConcept C6489637 @default.
- W628881383 hasConcept C69562738 @default.
- W628881383 hasConcept C71924100 @default.
- W628881383 hasConcept C73314972 @default.
- W628881383 hasConceptScore W628881383C100481476 @default.
- W628881383 hasConceptScore W628881383C102993220 @default.
- W628881383 hasConceptScore W628881383C110039528 @default.
- W628881383 hasConceptScore W628881383C118615104 @default.
- W628881383 hasConceptScore W628881383C136119220 @default.
- W628881383 hasConceptScore W628881383C14523651 @default.
- W628881383 hasConceptScore W628881383C154945302 @default.
- W628881383 hasConceptScore W628881383C156325763 @default.
- W628881383 hasConceptScore W628881383C184337299 @default.
- W628881383 hasConceptScore W628881383C191222856 @default.
- W628881383 hasConceptScore W628881383C19689857 @default.
- W628881383 hasConceptScore W628881383C199343813 @default.
- W628881383 hasConceptScore W628881383C199360897 @default.
- W628881383 hasConceptScore W628881383C202444582 @default.
- W628881383 hasConceptScore W628881383C203659156 @default.
- W628881383 hasConceptScore W628881383C2777686260 @default.
- W628881383 hasConceptScore W628881383C2780069185 @default.
- W628881383 hasConceptScore W628881383C30128091 @default.
- W628881383 hasConceptScore W628881383C32241873 @default.
- W628881383 hasConceptScore W628881383C33203268 @default.
- W628881383 hasConceptScore W628881383C33923547 @default.
- W628881383 hasConceptScore W628881383C41008148 @default.
- W628881383 hasConceptScore W628881383C60048249 @default.
- W628881383 hasConceptScore W628881383C62073222 @default.
- W628881383 hasConceptScore W628881383C6489637 @default.
- W628881383 hasConceptScore W628881383C69562738 @default.
- W628881383 hasConceptScore W628881383C71924100 @default.
- W628881383 hasConceptScore W628881383C73314972 @default.
- W628881383 hasLocation W6288813831 @default.
- W628881383 hasOpenAccess W628881383 @default.
- W628881383 hasPrimaryLocation W6288813831 @default.
- W628881383 hasRelatedWork W1508725420 @default.
- W628881383 hasRelatedWork W1544536920 @default.
- W628881383 hasRelatedWork W1981594096 @default.
- W628881383 hasRelatedWork W1990495387 @default.
- W628881383 hasRelatedWork W2014727078 @default.
- W628881383 hasRelatedWork W2029024997 @default.
- W628881383 hasRelatedWork W2037235314 @default.
- W628881383 hasRelatedWork W2044300637 @default.
- W628881383 hasRelatedWork W2071477518 @default.
- W628881383 hasRelatedWork W2085412574 @default.
- W628881383 hasRelatedWork W2137833747 @default.
- W628881383 hasRelatedWork W2500610114 @default.
- W628881383 hasRelatedWork W2917963553 @default.
- W628881383 hasRelatedWork W2945062324 @default.
- W628881383 hasRelatedWork W3126800879 @default.
- W628881383 hasRelatedWork W561326750 @default.
- W628881383 hasRelatedWork W568750796 @default.
- W628881383 hasRelatedWork W571543084 @default.
- W628881383 hasRelatedWork W583230344 @default.
- W628881383 hasRelatedWork W80801749 @default.
- W628881383 isParatext "false" @default.
- W628881383 isRetracted "false" @default.
- W628881383 magId "628881383" @default.
- W628881383 workType "book" @default.