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

✍ Scribed by Taernlund S.-A. (ed.)

Publisher: Upsala University
Year: 1984
Tongue: English
Leaves: 367
Series: Lecture notes in computer science 592.; Lecture notes in computer science. Lecture notes in artificial intelligence
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Logic programming -- Congresses.;Programmation logique -- Congrès.;Logic programming.

📜 SIMILAR VOLUMES

Logic Programming: First Russian Confere

📁 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

✍ Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.) 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the vol

Logic Programming and Automated Reasonin

📁 Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

✍ Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.) 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving

Logic programming : proceedings of the e

📁 Logic programming : proceedings of the eleventh International Conference on Logic Programming

✍ Pascal Van Hentenryck (eds.) 📂 Library 📅 1994 🏛 MIT Press 🌐 English

Conference proceedings presenting the state-of-the-art in Logic Programming.

Logic programming : proceedings of the 1

📁 Logic programming : proceedings of the 1999 International Conference on Logic Programming

✍ Danny De Schreye 📂 Library 📅 2000 🏛 MIT 🌐 English

Logic programming : proceedings of the F

📁 Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

✍ Lee Naish 📂 Library 📅 1997 🏛 MIT Press 🌐 English

Logic Programming and Automated Reasonin

📁 Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

✍ Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) 📂 Library 📅 1993 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic pr