Title: Algebraic and logic programming
Subjects: Logic programming, Congresses, Algebraic logic, Programmierung (Datenverarbeitung), Termsystem, Algebra, Programmation logique, Congrès, Logique algébrique, Algebraische Spezifikation, Logische Programmierung, Programmierung, Termersetzungssystem, Kongress