AAAAAA

   
Results: 1-1 |
Results: 1
LOGIC PROGRAMMING AS A BASIS FOR LEAN AUTOMATED DEDUCTION
Authors: BECKERT B POSEGGA J
Citation: B. Beckert et J. Posegga, LOGIC PROGRAMMING AS A BASIS FOR LEAN AUTOMATED DEDUCTION, The journal of logic programming, 28(3), 1996, pp. 231-236
Risultati: 1-1 |