Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... (Lecture Notes in Computer Science, 1258)

Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... (Lecture Notes in Computer Science, 1258) (ISBN-13: 9783540631729 and ISBN-10: 3540631720), written by authors Dirk van Dalen, Marc Bezem, was published by Springer in 1997. With an overall rating of 4.4 stars, it's a notable title among other books. You can easily purchase or rent Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... (Lecture Notes in Computer Science, 1258) (Paperback) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.58.