Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Zohar_Manna> ?p ?o. }
Showing items 1 to 58 of
58
with 100 items per page.
- Zohar_Manna abstract "Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) and The Temporal Logic of Reactive and Concurrent Systems: Progress (unpublished; first three chapters posted at http://theory.stanford.edu/~zm/tvors3.html).In 1994 he was inducted as a Fellow of the Association for Computing Machinery.".
- Zohar_Manna birthDate "1939".
- Zohar_Manna birthYear "1939".
- Zohar_Manna viafId "91223528".
- Zohar_Manna wikiPageExternalLink ~zm.
- Zohar_Manna wikiPageExternalLink tvors3.html.
- Zohar_Manna wikiPageID "699529".
- Zohar_Manna wikiPageRevisionID "579597341".
- Zohar_Manna dateOfBirth "1939".
- Zohar_Manna hasPhotoCollection Zohar_Manna.
- Zohar_Manna name "Manna, Zohar".
- Zohar_Manna subject Category:1939_births.
- Zohar_Manna subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Zohar_Manna subject Category:Guggenheim_Fellows.
- Zohar_Manna subject Category:Living_people.
- Zohar_Manna subject Category:Stanford_University_School_of_Engineering_faculty.
- Zohar_Manna type Associate109816771.
- Zohar_Manna type CausalAgent100007347.
- Zohar_Manna type Colleague109935990.
- Zohar_Manna type FellowsOfTheAssociationForComputingMachinery.
- Zohar_Manna type LivingPeople.
- Zohar_Manna type LivingThing100004258.
- Zohar_Manna type Object100002684.
- Zohar_Manna type Organism100004475.
- Zohar_Manna type Peer109626238.
- Zohar_Manna type Person100007846.
- Zohar_Manna type PhysicalEntity100001930.
- Zohar_Manna type Whole100003553.
- Zohar_Manna type YagoLegalActor.
- Zohar_Manna type YagoLegalActorGeo.
- Zohar_Manna type Agent.
- Zohar_Manna type Person.
- Zohar_Manna type Scientist.
- Zohar_Manna type Person.
- Zohar_Manna type Q215627.
- Zohar_Manna type Q5.
- Zohar_Manna type Agent.
- Zohar_Manna type NaturalPerson.
- Zohar_Manna type Thing.
- Zohar_Manna type Person.
- Zohar_Manna comment "Zohar Manna (born 1939) is a professor of computer science at Stanford University.".
- Zohar_Manna label "Zohar Manna".
- Zohar_Manna label "Zohar Manna".
- Zohar_Manna label "Zohar Manna".
- Zohar_Manna label "Zohar Manna".
- Zohar_Manna sameAs Zohar_Manna.
- Zohar_Manna sameAs Zohar_Manna.
- Zohar_Manna sameAs Zohar_Manna.
- Zohar_Manna sameAs m.033tzw.
- Zohar_Manna sameAs Q92814.
- Zohar_Manna sameAs Q92814.
- Zohar_Manna sameAs Zohar_Manna.
- Zohar_Manna wasDerivedFrom Zohar_Manna?oldid=579597341.
- Zohar_Manna givenName "Zohar".
- Zohar_Manna isPrimaryTopicOf Zohar_Manna.
- Zohar_Manna name "Manna, Zohar".
- Zohar_Manna name "Zohar Manna".
- Zohar_Manna surname "Manna".