view
table of contents in dblp
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/lpar/2000
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/lpar/2000
Michel Parigot
,
Andrei Voronkov
:
Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings.
Lecture Notes in Computer Science
1955,
Springer
2000
[contents]