ISBN 3540645705 books & textbook
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science, 1414)
Nielsen, Mogens Thomas, Wolfgang
Springer /1998-10-15 Paperback / 509 Pages
isbn-10: 3540645705 / isbn-13: 9783540645702
