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 |