共 50 条
- [41] The equational theory of (N,0,1,+,x,↑) is decidable, but not finitely axiomatisable LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 240 - 256
- [45] EMPIRIC EQUATION OF INTERFACIAL TENSION CURVES, CHARGE AND DIFFERENTIAL CAPACITY OF MERCURY POLARIZED IN CASE OF STRONG SPECIFIC ADSORPTION (KI 0,1 N) AND CSCL 0,1 N COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE C, 1972, 275 (18): : 981 - &