Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.

PropertyValue
prop-cs:almaMater
prop-cs:datumNarození
  • 22 (xsd:integer)
prop-cs:datumÚmrtí
  • --11-02
prop-cs:jméno
  • Amir Pnueli
  • אמיר פנואלי
prop-cs:místoNarození
  • Nahalal, Britský mandát Palestina
prop-cs:místoÚmrtí
prop-cs:obor
prop-cs:obrázek
  • Amir Pnueli.jpg
prop-cs:občanství
  • Izrael
prop-cs:ocenění
prop-cs:popisek
  • Amir Pnueli
prop-cs:pracoviště
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.
dbpedia-owl:almaMater
dbpedia-owl:award
dbpedia-owl:birthPlace
dbpedia-owl:citizenship
dbpedia-owl:deathPlace
dbpedia-owl:mainDomain
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 551253 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4689 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 55 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15465261 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Amir Pnueli
dcterms:subject
rdf:type
rdfs:comment
  • Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.
rdfs:label
  • Amir Pnueli
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Amir Pnueli
  • אמיר פנואלי
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of