Merkliste 
 1 Ergebnisse 
 
1

Implementation of predicate logic in APL2:

, In: Conference proceedings on APL as a tool of thought,
Engelmann, U. ; Gerneth, Th. ; Meinzer, H. P. - p. 124-128 , 1989