| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings | 978-3-662-19905-3 | 2014 | R.K. Shyamasundar | |
| Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9-11, 1997 Proceedings | 978-3-540-63875-9 | 2009 | R. K. Shyamasundar | |
| Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings | 978-3-540-41739-2 | 2001 | Herbert Kuchen | |
| Guarded Horn Clauses | 978-0-262-21011-9 | 1992 | ||
| Logic Programming: Proceedings of the 1991 International Symposium | 978-0-262-69147-5 | 1991 | Vijay A. Saraswat | |
| Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings | 978-3-642-17163-5 | 2010 | ||