Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings: 1298 (Lecture Notes in Computer Science)
by Michael Hanus, Jan Heering, Karl Meinke
ISBN 13: 9783540634591
Format: Paperback (308 pages) Publisher: Springer Published: 20 Aug 1997
Save for later
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science)
by Yuri Gurevich, Egon B??rger, Karl Meinke
ISBN 13: 9783540582779
Format: Paperback (356 pages) Publisher: Springer Published: 13 Jun 2008