Paperback Book
显示无货商品

Nachum Dershowitz的作品

Cover for Nachum Dershowitz · Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Language, Culture, Computation: ... (2014)

Nachum Dershowitz

Cover for Nachum Dershowitz · Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Language, Culture, Computation: ... (2014)

Nachum Dershowitz

Cover for Nachum Dershowitz · Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Language, Culture, Computation: ... (2014)

Nachum Dershowitz

Cover for Nachum Dershowitz · Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)

Logic for Programming, Artificia... (2007)

Nachum Dershowitz

Cover for Nachum Dershowitz · Verification, Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday - Lecture Notes in Computer Science (Paperback Book) (2004)

Verification, Theory and Practic... (2004)

Nachum Dershowitz

Cover for Nachum Dershowitz · Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1995)

Conditional and Typed Rewriting ... (1995)

Nachum Dershowitz

Cover for Nachum Dershowitz · Rewriting Techniques and Applications: 3rd International Conference, Rta-89, Chapel Hill, North Carolina, Usa, April 3-5, 1989, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1989)

Rewriting Techniques and Applica... (1989)

Nachum Dershowitz