Ferrante, Jeanne, 1949-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Her Some upper and lower bounds on decision procedures in logic, 1974 b. Jan. 3 |
Dates of Birth and Death | 1949- |
コード類 | 典拠ID=AU20069950 NCID=DA02998980 |
1 | The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1979 |