Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires.

Property Value
dbo:abstract
  • Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
  • Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
dbo:almaMater
dbo:birthPlace
dbo:birthYear
  • 0010-01-01 (xsd:gYear)
dbo:citizenship
dbo:deathPlace
dbo:deathYear
  • 0020-01-01 (xsd:gYear)
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:domain
dbo:employer
dbo:instrument
dbo:nationality
dbo:occupation
dbo:university
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9163899 (xsd:integer)
dbo:wikiPageLength
  • 9609 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185381870 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:champs
prop-fr:diplôme
prop-fr:fr
  • Jamestown Charter Township (fr)
  • Jamestown Charter Township (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lieuDeDécès
prop-fr:lieuDeNaissance
prop-fr:nationalité
  • américaine (fr)
  • américaine (fr)
prop-fr:nom
  • Carol Karp (fr)
  • Carol Karp (fr)
prop-fr:paysDeDécès
prop-fr:paysDeNaissance
prop-fr:prix
  • Le Carol Karp Prize porte son nom (fr)
  • Le Carol Karp Prize porte son nom (fr)
prop-fr:renomméPour
  • Travaux sur la logique et les langages infinitaires (fr)
  • Travaux sur la logique et les langages infinitaires (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:étudiantsThèse
  • Judy Green (fr)
  • Judy Green (fr)
dct:subject
rdf:type
rdfs:comment
  • Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
  • Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
rdfs:label
  • Carol Karp (fr)
  • Carol Karp (en)
  • Carol Karp (es)
  • كارول كارب (ar)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • Carol Karp (fr)
  • (fr)
  • Carol Karp (fr)
is dbo:doctoralAdvisor of
is dbo:namedAfter of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of