Opening book details…
Can I read 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 on EtoBox?
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 by Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.) is a nonfiction available to read on EtoBox.
What is 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 about?
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 Volume Include: Logic Programming, Automated Theorem Proving, Non-monotonic Reasoning, Applications Of Mathematical Logic To Computer Science, Deductivedatabases, Implementation Of Declarative Concepts, And Programming In Non-classical Logics. This Is The First Volume To Represent Activity In The Field Of Logic Programming In The Countries Of The Former Soviet Union.--publisher's Website. Real-time Memory Management For Prolog / Yves Bekkers, Lucien Ungaro -- A Process Semantics Of Logic Programs / M. Belmesk -- Logical Operational Semantics Of Parlog, Part 2 / Egon Borger, Elvinia Riccobene -- Wam Algebras, Part 2 / Egon Borger, Dean Rosenzweig -- Abductive Systems For Non-monotonic Reasoning / A.g. Bondarenko -- Properties Of Algorithmic Operators / Vladimir B. Borshchev -- Deep Logic Program Transformation Using Abstract Interpretation / Dmitri Yu. Boulanger -- Objects In A Logic Programmin
Who reads 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?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1992
- Language
- EN
- ISBN
- 9783540470830
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Programming
More by Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.)
Browse all works by Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.)
Similar books
- Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings — Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (1992)
- Logic Programming: The 1996 International Symposium: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (Logic Programming) — Michael Maher; Association for Logic Programming; JICSLP; Joint International Conference and Symposium on Logic Programming (JICSLP) (1996)
- Parallel Computing Technologies: Third International Conference, Pact-95, St. Petersburg, Russia, September 12-25, 1995: Proceedings (Lecture Notes) — S. M. Achasova (auth.), Victor Malyshkin (1995)
- Logic programming : proceedings of the Seventh International Conference — edited by David H.D. Warren and Peter Szeredi (1990)
- Logic Programming: The 12th International Conference (logic Programming) — Leon S. Sterling (1995)
- Russia: St Petersburg (2018)