Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

v1

Type:Journal Article

0 views

[![NobleID](https://www.nobleid.org/api/badge/1ABC9FD1.svg?ark=w1%2F20260515%2F1ABC9FD1)](https://nobleid.org/work/w1/20260515/1ABC9FD1)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors