홈 / 책 찾기 / 판 고르기

A specification of an abstract Prolog machine and its application to partial evaluation

판 1개, 최신 판부터

Linköping University, Software Systems Research Center, 1981, ISBN 9789173724791