Media type: E-Book; Conference Proceedings Title: Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings Contributor: Levi, Giorgio [Author]; Rodriguez-Artalejo, Mario [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1994 Published in: Lecture notes in computer science ; 850 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-58431-5 ISBN: 9783540487913 Identifier: RVK notation: SS 4800 : Lecture notes in computer science ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SS 1994 : Veranstaltungsjahr 1994 Keywords: Logische Programmierung Programmierung > Algebraische Spezifikation > Termersetzungssystem Origination: Footnote: