Automated reasoning series
Kluwer Academic Publishers Group
by Zbigniew Stachniak
Kluwer Academic Publishers c1996 Automated reasoning series v. 4
所蔵館13館
by J. Strother Moore
Kluwer Academic Publishers 1996 Automated reasoning series v. 3
所蔵館3館
by Art Quaife
Kluwer Academic c1992 Automated reasoning series v. 2
所蔵館14館
edited by Robert S. Boyer
Kluwer Academic Publishers Group c1991 Automated reasoning series v. 1
