ISBN-13: 9783540049098 / Angielski / Miękka / 1970 / 134 str.
Decidability and completeness of SC.- Benefits of the decision procedure.
Czytaj nas na: