Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings

Andrei Voronkov

Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings

Andrei Voronkov (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	592
ISBN (Print)	3-540-55460-2
Publication status	Published - 1992
Event	RCLP - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/lpar/lpar90.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	RCLP
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/lpar/lpar90.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991

Access to Document

Cite this

Voronkov, A. (Ed.) (1992). Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. In Lecture Notes in Computer Science (Vol. 592). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/lpar/lpar90.html

@inproceedings{66adbbc3fa0141a3810856ca99c73dae,

title = "Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings",

author = "Andrei Voronkov",

year = "1992",

language = "English",

isbn = "3-540-55460-2",

volume = "592",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

note = "RCLP ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/lpar/lpar90.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/1991",

}

Voronkov, A (ed.) 1992, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. in Lecture Notes in Computer Science. vol. 592, Lecture Notes in Computer Science, Springer Nature, RCLP, 1/01/24. <http://dblp.uni-trier.de/db/conf/lpar/lpar90.html>

Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. / Voronkov, Andrei (Editor).
Lecture Notes in Computer Science. Vol. 592 Springer Nature, 1992. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings

A2 - Voronkov, Andrei

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-55460-2

VL - 592

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - RCLP

Y2 - 1 January 1824

ER -