The Valediction of Moses

A Proto-Biblical Book

Produktform: Buch / Einband - fest (Hardcover)

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Produktform: E-Buch Text Elektronisches Buch in proprietärem

The Evolution of Programs

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Conditional and Typed Rewriting Systems

4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Language, Culture, Computation: Computational Linguistics and Linguistics

Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Rewriting Techniques and Applications

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Fields of Logic and Computation

Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Produktform: Buch / Einband - flex.(Paperback)

---

Language, Culture, Computation: Computational Linguistics and Linguistics

Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

Produktform: Buch / Einband - flex.(Paperback)

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Produktform: Buch / Einband - flex.(Paperback)