Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555834495> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2555834495 abstract "This chapter presents applications of decision procedures in software engineering and computational biology." @default.
- W2555834495 created "2016-11-30" @default.
- W2555834495 creator A5065418639 @default.
- W2555834495 creator A5086206346 @default.
- W2555834495 date "2016-01-01" @default.
- W2555834495 modified "2023-09-27" @default.
- W2555834495 title "Applications in Software Engineering and Computational Biology" @default.
- W2555834495 doi "https://doi.org/10.1007/978-3-662-50497-0_12" @default.
- W2555834495 hasPublicationYear "2016" @default.
- W2555834495 type Work @default.
- W2555834495 sameAs 2555834495 @default.
- W2555834495 citedByCount "0" @default.
- W2555834495 crossrefType "book-chapter" @default.
- W2555834495 hasAuthorship W2555834495A5065418639 @default.
- W2555834495 hasAuthorship W2555834495A5086206346 @default.
- W2555834495 hasConcept C115903868 @default.
- W2555834495 hasConcept C199360897 @default.
- W2555834495 hasConcept C2777904410 @default.
- W2555834495 hasConcept C41008148 @default.
- W2555834495 hasConceptScore W2555834495C115903868 @default.
- W2555834495 hasConceptScore W2555834495C199360897 @default.
- W2555834495 hasConceptScore W2555834495C2777904410 @default.
- W2555834495 hasConceptScore W2555834495C41008148 @default.
- W2555834495 hasLocation W25558344951 @default.
- W2555834495 hasOpenAccess W2555834495 @default.
- W2555834495 hasPrimaryLocation W25558344951 @default.
- W2555834495 hasRelatedWork W1539821942 @default.
- W2555834495 hasRelatedWork W1595202726 @default.
- W2555834495 hasRelatedWork W1977786379 @default.
- W2555834495 hasRelatedWork W1998337264 @default.
- W2555834495 hasRelatedWork W2010299442 @default.
- W2555834495 hasRelatedWork W2014656113 @default.
- W2555834495 hasRelatedWork W2015637585 @default.
- W2555834495 hasRelatedWork W2032117921 @default.
- W2555834495 hasRelatedWork W2113732070 @default.
- W2555834495 hasRelatedWork W2137743780 @default.
- W2555834495 hasRelatedWork W2140804009 @default.
- W2555834495 hasRelatedWork W2156512029 @default.
- W2555834495 hasRelatedWork W2314200399 @default.
- W2555834495 hasRelatedWork W3009341278 @default.
- W2555834495 hasRelatedWork W3141918262 @default.
- W2555834495 hasRelatedWork W3146178515 @default.
- W2555834495 hasRelatedWork W3146448766 @default.
- W2555834495 hasRelatedWork W3148608205 @default.
- W2555834495 hasRelatedWork W3209887030 @default.
- W2555834495 hasRelatedWork W7521274 @default.
- W2555834495 isParatext "false" @default.
- W2555834495 isRetracted "false" @default.
- W2555834495 magId "2555834495" @default.
- W2555834495 workType "book-chapter" @default.