Order:
  1.  26
    (1 other version)Ein verfahren zur umformung einer linearen nebenbedingung in eine äquivalente alternative normalform.Gunter Bär - 1969 - Mathematical Logic Quarterly 15 (7‐12):163-180.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark