Journal of Logic Programming, The,volume 46,issue 1  (11-2000)

Period of time： 2000年1期

Publisher： Elsevier

Founded in： 1984

Total resources： 4

ISSN： 0743-1066

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Journal of Logic Programming, The,volume 46,issue 1

Menu

Meta-agent programs

By Dix J., Subrahmanian V.S., Pick G. in (2000)

Journal of Logic Programming, The,volume 46,issue 1 , Vol. 46, Iss. 1, 2000-11 , pp. 1-60

Elsevier

Abstract Access to resources Recommend Favorite

More on tractable disjunctive Datalog

By Ben-Eliyahu-Zohary R., Palopoli L., Zemlyanker V. in (2000)

Journal of Logic Programming, The,volume 46,issue 1 , Vol. 46, Iss. 1, 2000-11 , pp. 61-101

Elsevier

Abstract Access to resources Recommend Favorite

Decidability of logic program semantics and applications to testing

By Ruggieri S. in (2000)

Journal of Logic Programming, The,volume 46,issue 1 , Vol. 46, Iss. 1, 2000-11 , pp. 103-137

Elsevier

Abstract Access to resources Recommend Favorite

Pair-sharing over rational trees

By King A. in (2000)

Journal of Logic Programming, The,volume 46,issue 1 , Vol. 46, Iss. 1, 2000-11 , pp. 139-155

Elsevier

Abstract Access to resources Recommend Favorite

Total 4 item(s)