Languages
Dershowitz, Nachum.
Overview
Works: | 2 works in 3 publications in 1 languages |
---|
Titles
Pillars of Computer Science :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
Avron, Arnon.; Dershowitz, Nachum.; Rabinovich, Alexander.; SpringerLink (Online service)
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part II,Computing of the humanities, law, and narratives
by:
Dershowitz, Nachum.; Nissan, Ephraim.; SpringerLink (Online service)
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part I,Computing - theory and technology
by:
Dershowitz, Nachum.; Nissan, Ephraim.; SpringerLink (Online service)
(Electronic resources)
Verification: theory and practiceessays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service)
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part III,Computational linguistics and linguistics
by:
Dershowitz, Nachum.; Nissan, Ephraim.; SpringerLink (Online service)
(Electronic resources)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Mathematics of Computing.
Logics and Meanings of Programs.
Language Translation and Linguistics.
Algorithm Analysis and Problem Complexity.
Computer software
Artificial Intelligence (incl. Robotics)
Algorithms.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Computer science
Computer science.
Computer Science.
Computer Communication Networks.
Information theory.