Order:
  1.  13
    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  
  2.  26
    Ein verfahren zur umformung einer linearen nebenbedingung in eine äquivalente alternative normalform.Gunter Bär - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):163-180.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark