Publication date
January 2003
DOI Publisher
Springer Science and Business Media LLC Journal
1611-3349Abstract
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springer 2003status: publishe
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springer 2003status: publishe
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...
We are proud to introduce this special issue of LIPIcs - Leibniz International Proceedings in Inform...
pp 507-508 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
This volume contains the Technical Communications presented at the 39th International Conference on ...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
Introduction to the Technical Communications of the 26th International Conference on Logic Programmi...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
none2This book constitutes the refereed proceedings of the 21st International Conference on Logic an...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...
We are proud to introduce this special issue of LIPIcs - Leibniz International Proceedings in Inform...
pp 507-508 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
This volume contains the Technical Communications presented at the 39th International Conference on ...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
Introduction to the Technical Communications of the 26th International Conference on Logic Programmi...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
none2This book constitutes the refereed proceedings of the 21st International Conference on Logic an...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...
We are proud to introduce this special issue of LIPIcs - Leibniz International Proceedings in Inform...
Add to ORKG