You are not logged in | Log in

PL /
EN

Journal: Theory and Practice of Logic Programming

Number of publications: 1

2018

Aleksy Schubert , Paweł Urzyczyn , First-order Answer Set Programming as Constructive Proof Search, Theory and Practice of Logic Programming, 34th International Conference on Logic Programming, Oxford, the United Kingdom of Great Britain and Northern Ireland, 14 July 2018 - 17 July 2018, 18 (3-4) 2018, p. 673-690. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper