Algebra of Logic Programming

Bibliographische Detailangaben
Hauptverfasser: Seres, S, Spivey, J, Hoare, C
Format: Conference item
Veröffentlicht: MIT Press 1999