Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings: 844 (Lecture Notes in Computer Science)
by Jaan Penjam,Manuel Hermenegildo
ISBN 13: 9783540584025
Format: Paperback (488 pages) Publisher: Springer Published: 24 Aug 1994
Save for later
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings: 2477 (Lecture Notes in Computer Science)
by German Puebla,Manuel Hermenegildo
ISBN 13: 9783540442356
Format: Paperback (548 pages) Publisher: Springer Published: 13 Jun 2008
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science)
by S.Doaitse Swierstra, Manuel Hermenegildo
ISBN 13: 9783540603597
Format: Paperback (488 pages) Publisher: Springer Published: 13 Jun 2008
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings: 3350 (Lecture Notes in Computer Science)
by Daniel Cabeza,Manuel Hermenegildo
ISBN 13: 9783540243625
Format: Illustrated (296 pages) Publisher: Springer Published: 13 Jun 2008