Matches in SemOpenAlex for { <https://semopenalex.org/work/W591317650> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W591317650 abstract "Propositional calculus logical and digital electronic circuits predicate calculus deductions correctness proofs resolution theorem proving logic programming." @default.
- W591317650 created "2016-06-24" @default.
- W591317650 creator A5002119008 @default.
- W591317650 creator A5003354242 @default.
- W591317650 creator A5080825487 @default.
- W591317650 date "1986-01-01" @default.
- W591317650 modified "2023-09-25" @default.
- W591317650 title "A first course in formal logic and its applications in computer science" @default.
- W591317650 hasPublicationYear "1986" @default.
- W591317650 type Work @default.
- W591317650 sameAs 591317650 @default.
- W591317650 citedByCount "3" @default.
- W591317650 crossrefType "book" @default.
- W591317650 hasAuthorship W591317650A5002119008 @default.
- W591317650 hasAuthorship W591317650A5003354242 @default.
- W591317650 hasAuthorship W591317650A5080825487 @default.
- W591317650 hasConcept C127413603 @default.
- W591317650 hasConcept C146978453 @default.
- W591317650 hasConcept C199360897 @default.
- W591317650 hasConcept C2777552389 @default.
- W591317650 hasConcept C41008148 @default.
- W591317650 hasConceptScore W591317650C127413603 @default.
- W591317650 hasConceptScore W591317650C146978453 @default.
- W591317650 hasConceptScore W591317650C199360897 @default.
- W591317650 hasConceptScore W591317650C2777552389 @default.
- W591317650 hasConceptScore W591317650C41008148 @default.
- W591317650 hasLocation W5913176501 @default.
- W591317650 hasOpenAccess W591317650 @default.
- W591317650 hasPrimaryLocation W5913176501 @default.
- W591317650 hasRelatedWork W1551050998 @default.
- W591317650 hasRelatedWork W1554618854 @default.
- W591317650 hasRelatedWork W1561531759 @default.
- W591317650 hasRelatedWork W1679894682 @default.
- W591317650 hasRelatedWork W1952051253 @default.
- W591317650 hasRelatedWork W1983424569 @default.
- W591317650 hasRelatedWork W1988444941 @default.
- W591317650 hasRelatedWork W1995015365 @default.
- W591317650 hasRelatedWork W2131156825 @default.
- W591317650 hasRelatedWork W2154098055 @default.
- W591317650 hasRelatedWork W2163693197 @default.
- W591317650 hasRelatedWork W2569890278 @default.
- W591317650 hasRelatedWork W2678659668 @default.
- W591317650 hasRelatedWork W2895148576 @default.
- W591317650 hasRelatedWork W29316377 @default.
- W591317650 hasRelatedWork W3121751869 @default.
- W591317650 hasRelatedWork W1572756580 @default.
- W591317650 hasRelatedWork W1947088032 @default.
- W591317650 hasRelatedWork W2599129805 @default.
- W591317650 hasRelatedWork W2787858359 @default.
- W591317650 isParatext "false" @default.
- W591317650 isRetracted "false" @default.
- W591317650 magId "591317650" @default.
- W591317650 workType "book" @default.