Вы здесь

Главная

European Computer-Industry Research Centre

Связанные издания:

An Abstract Machine to Implement Efficiently OR-AND Parallel Prolog
Extracting Higher Order Functions from First Order Proofs
On computability by logic programs