Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof...”