K. Meinke
3 published titles
Many-sorted logic and its applications
(Contributor)
1 edition
- ISBN: 0471934852
- Wiley
- 1993
- Details
Algebraic and logic programming : 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540617353
- Springer
- 1997
- Details
Principles of declarative programming : 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540650121
- Springer
- 1998
- Details
