Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241702671> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4241702671 endingPage "86" @default.
- W4241702671 startingPage "73" @default.
- W4241702671 created "2022-05-12" @default.
- W4241702671 creator A5057841233 @default.
- W4241702671 date "1993-01-01" @default.
- W4241702671 modified "2023-09-25" @default.
- W4241702671 title "A typed λ-calculus for proving-by-example and bottom-up generalization procedure" @default.
- W4241702671 cites W1534565738 @default.
- W4241702671 cites W1562335061 @default.
- W4241702671 cites W18425853 @default.
- W4241702671 cites W1996325171 @default.
- W4241702671 cites W2055655588 @default.
- W4241702671 cites W2084202433 @default.
- W4241702671 cites W2163514996 @default.
- W4241702671 cites W2402296188 @default.
- W4241702671 doi "https://doi.org/10.1007/3-540-57370-4_38" @default.
- W4241702671 hasPublicationYear "1993" @default.
- W4241702671 type Work @default.
- W4241702671 citedByCount "1" @default.
- W4241702671 crossrefType "book-chapter" @default.
- W4241702671 hasAuthorship W4241702671A5057841233 @default.
- W4241702671 hasConcept C11413529 @default.
- W4241702671 hasConcept C134306372 @default.
- W4241702671 hasConcept C136119220 @default.
- W4241702671 hasConcept C140479938 @default.
- W4241702671 hasConcept C177148314 @default.
- W4241702671 hasConcept C199343813 @default.
- W4241702671 hasConcept C199360897 @default.
- W4241702671 hasConcept C202444582 @default.
- W4241702671 hasConcept C2777686260 @default.
- W4241702671 hasConcept C2778029271 @default.
- W4241702671 hasConcept C2780801425 @default.
- W4241702671 hasConcept C33923547 @default.
- W4241702671 hasConcept C34388435 @default.
- W4241702671 hasConcept C41008148 @default.
- W4241702671 hasConcept C62073222 @default.
- W4241702671 hasConcept C71924100 @default.
- W4241702671 hasConceptScore W4241702671C11413529 @default.
- W4241702671 hasConceptScore W4241702671C134306372 @default.
- W4241702671 hasConceptScore W4241702671C136119220 @default.
- W4241702671 hasConceptScore W4241702671C140479938 @default.
- W4241702671 hasConceptScore W4241702671C177148314 @default.
- W4241702671 hasConceptScore W4241702671C199343813 @default.
- W4241702671 hasConceptScore W4241702671C199360897 @default.
- W4241702671 hasConceptScore W4241702671C202444582 @default.
- W4241702671 hasConceptScore W4241702671C2777686260 @default.
- W4241702671 hasConceptScore W4241702671C2778029271 @default.
- W4241702671 hasConceptScore W4241702671C2780801425 @default.
- W4241702671 hasConceptScore W4241702671C33923547 @default.
- W4241702671 hasConceptScore W4241702671C34388435 @default.
- W4241702671 hasConceptScore W4241702671C41008148 @default.
- W4241702671 hasConceptScore W4241702671C62073222 @default.
- W4241702671 hasConceptScore W4241702671C71924100 @default.
- W4241702671 hasLocation W42417026711 @default.
- W4241702671 hasOpenAccess W4241702671 @default.
- W4241702671 hasPrimaryLocation W42417026711 @default.
- W4241702671 hasRelatedWork W1971753667 @default.
- W4241702671 hasRelatedWork W1989097617 @default.
- W4241702671 hasRelatedWork W2003635053 @default.
- W4241702671 hasRelatedWork W2006308727 @default.
- W4241702671 hasRelatedWork W2011911564 @default.
- W4241702671 hasRelatedWork W2037293272 @default.
- W4241702671 hasRelatedWork W2352495365 @default.
- W4241702671 hasRelatedWork W3080875783 @default.
- W4241702671 hasRelatedWork W4251636188 @default.
- W4241702671 hasRelatedWork W4298250360 @default.
- W4241702671 isParatext "false" @default.
- W4241702671 isRetracted "false" @default.
- W4241702671 workType "book-chapter" @default.