Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 1987
Springer New York
Table of Contents: “... and Graphics -- 2.1 Page Description Languages: Concepts and Implementations -- 2.2 SMSCRIPT: An Interpretor...”