Mogens Nielsen,Wolfgang Thomas: Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
____________________________
Author: Mogens Nielsen,Wolfgang Thomas
Number of Pages: 520 pages
Published Date: 01 Jun 1998
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540645702
Download Link: Click Here
____________________________