Proof and Computation (NATO Asi Series: Series F: Computer & Systems Sciences)

by H. Schwichtenberg

Hardcover

ISBN: 978-0-387-58581-9

ISBN-10: 0-387-58581-8

Springer Verlag · 1995

See also (possibly by other authors):
1995TaschenbuchProof and Computation (Nato ASI Subseries F:, Band 139)