홈 / 책 찾기 / 판 고르기

A formal basis for Horn clause logic with external polymorphic functions

판 1개, 최신 판부터

Linköping University, Dept. of Computer and Information Science, 1992, ISBN 9789178708963