Nissim Francez

http://dbpedia.org/resource/Nissim_Francez an entity of type: Thing

Nissim Francez (Hebrew: נסים פרנסיז; born: 19 January 1944) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty. rdf:langString
rdf:langString Nissim Francez
rdf:langString Nissim Francez
rdf:langString Nissim Francez
xsd:date 1944-01-19
xsd:integer 63379032
xsd:integer 1122915705
rdf:langString The specification and verification of cyclic programs
xsd:integer 1976
xsd:date 1944-01-19
xsd:integer 19288
rdf:langString Israeli
rdf:langString Nissim Francez
rdf:langString Nissim Francez (Hebrew: נסים פרנסיז; born: 19 January 1944) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.
xsd:nonNegativeInteger 9289
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
<http://www.wikidata.org/entity/Q901>
dbpedia:Bulgaria
dbpedia:Bulgaria
dbpedia:Category:Living_people
dbpedia:Category:1944_births
dbpedia:Category:Theoretical_computer_scientists
dbpedia:Category:Israeli_Jews
dbpedia:Category:Technion_–_Israel_Institute_of_Technology_faculty
dbpedia:Category:Israeli_computer_scientists
dbpedia:Category:Bulgarian_Jews_in_Israel
dbpedia:Category:Bulgarian_emigrants_to_Israel
dbpedia:Category:Israeli_people_of_Bulgarian-Jewish_descent
dbpedia:Prolog
dbpedia:Queen's_University_Belfast
dbpedia:Natural_language_processing
dbpedia:Studia_Logica
dbpedia:Rehovot
dbpedia:University_of_Edinburgh_School_of_Informatics
dbpedia:University_of_Southern_California
dbpedia:Category:Living_people
dbpedia:Concurrent_computing
dbpedia:Master_of_Science
dbpedia:Mathematics
dbpedia:Google_Scholar
dbpedia:Proof-theoretic_semantics
dbpedia:Applied_Mathematics
dbpedia:Computational_linguistics
dbpedia:Computer_science
dbpedia:Emeritus
dbpedia:Austin,_Texas
dbpedia:B.Sc.
dbpedia:Bank_Leumi
dbpedia:Category:1944_births
dbpedia:Bulgaria
dbpedia:Category:Theoretical_computer_scientists
dbpedia:Centrum_Wiskunde_&_Informatica
dbpedia:Distributed_computing
dbpedia:Logic_programming
dbpedia:Amir_Pnueli
dbpedia:Amsterdam
dbpedia:DBLP
dbpedia:Formal_verification
dbpedia:Formal_grammar
dbpedia:Edinburgh_University
dbpedia:Haifa
dbpedia:Harvard_University
dbpedia:Israel_Defense_Forces
dbpedia:Technion
dbpedia:Association_for_Computing_Machinery
dbpedia:Association_for_Logic,_Language_and_Information
dbpedia:Category:Israeli_Jews
dbpedia:Category:Technion_–_Israel_Institute_of_Technology_faculty
dbpedia:Category:Israeli_computer_scientists
dbpedia:Category:Bulgarian_Jews_in_Israel
dbpedia:Category:Bulgarian_emigrants_to_Israel
dbpedia:Category:Israeli_people_of_Bulgarian-Jewish_descent
dbpedia:Jerusalem
dbpedia:Association_for_Computational_Linguistics
dbpedia:Association_for_Logic_Programming
dbpedia:Philosophy
dbpedia:Ph.D.
dbpedia:IBM
dbpedia:Microelectronics_and_Computer_Technology_Corporation
dbpedia:Yorktown_Heights,_New_York
dbpedia:Semantics_(computer_science)
dbpedia:Manchester_University
dbpedia:European_Association_for_Theoretical_Computer_Science
dbpedia:IEEE_Computer_Society
dbpedia:SIGPLAN
dbpedia:Weizmann_Institute
dbpedia:Hebrew_University
dbpedia:University_of_Utrecht
dbpedia:St_Andrews_University
<https://books.google.com/books%3Fid=Pp4ACAAAQBAJ>
<https://books.google.com/books%3Fid=WdhQAAAAMAAJ&q>
<https://books.google.com/books%3Fid=YaxQAAAAMAAJ&dq>
<https://books.google.com/books%3Fid=eeeijgEACAAJ&dq>
<https://books.google.com/books%3Fid=ghtOlbx4DtsC>
<https://scholar.google.com/scholar%3Fhl=en&as_sdt=0%2C5&q=nissim+francez&btnG=&oq=nissim+fr,>
<https://dblp.uni-trier.de/pers/f/Francez:Nissim.html,>
<http://d-nb.info/gnd/1090215568>
<http://d-nb.info/gnd/17207908X>
<https://dblp.org/pid/f/NissimFrancez>
<http://viaf.org/viaf/56766711>
<https://orcid.org/0000-0002-6993-4392>
<http://www.wikidata.org/entity/Q89269550>
<http://data.bibliotheken.nl/id/thes/p073557625>
<http://arz.dbpedia.org/resource/نسيم_فرانسيس>
<http://he.dbpedia.org/resource/נסים_פרנסיז>
<https://global.dbpedia.org/id/A3raH>
dbpedia:Technion
dbpedia:Template:Authority_control
dbpedia:Template:Cite_book
dbpedia:Template:Cite_journal
dbpedia:Template:One_source
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Use_dmy_dates
dbpedia:Template:Birth_date_and_age
dbpedia:Template:MathGenealogy
dbpedia:Template:Infobox_scientist
dbpedia:Weizmann_Institute
dbpedia:Hebrew_University
dbpedia:Computer_science
dbpedia:Amir_Pnueli
dbpedia:Amir_Pnueli
dbpedia:Technion
<http://en.wikipedia.org/wiki/Nissim_Francez?oldid=1122915705&ns=0>
dbpedia:Computer_science
dbpedia:Weizmann_Institute
dbpedia:Hebrew_University
<http://en.wikipedia.org/wiki/Nissim_Francez>

data from the linked data cloud