Merkliste 
 1 Ergebnisse 
 
1

Algebraic and Logic Programming 

Proceedings of an International Workshop held in Gaussig (G...  Mathematical Research ; 49, Mathematische Forschung
Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]