Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
Extern ; Auch erschienen in: Lloyd, John u.a. (Hrsg.): Computationa logic. (Lecture notes in computer science ; 1861). Berlin u.a. : Springer, 2000. ISBN 3-540-67797-6. (The original publication is available at www.springerlink.com)