MPG.eBooks - Search Results - "machines"

Search alternatives:
"machines" » "machine"

Cover Image

1

Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Published 1995

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

2

Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

3

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Machine theory...”