Opening book details…
Can I read Colog-88: International Conference On Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (lecture Notes In Computer Science) on EtoBox?
Colog-88: International Conference On Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (lecture Notes In Computer Science) by Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.) is a computer science book available to read on EtoBox.
What is Colog-88: International Conference On Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (lecture Notes In Computer Science) about?
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the U
Who reads Colog-88: International Conference On Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1990
- Language
- EN
- ISBN
- 9783540523352
- Category
- computer science
- Subjects
- Mathematics, Engineering, Language Learning
- Updated
- 2026-03-25
More by Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)
Browse all works by Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)
Similar books
- Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science) — Greg Morrisett (auth.), Catuscia Palamidessi (2003)
- Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science (335)) — L. Lamport (auth.), Frederich H. Vogt (1988)
- Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science) — Bernard Boigelot, Pierre Wolper (auth.), Peter J. Stuckey (2002)
- Information Systems Security: 15th International Conference, Iciss 2019, Hyderabad, India, December 16-20, 2019, Proceedings (lecture Notes In Computer Science) — Deepak Garg, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar, Virendra Singh, Jaideep Vaidya (2019)
- Principles of Distributed Systems: 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings (Lecture Notes in Computer Science, 8304) — Hein Meling, Leander Jehl (auth.), Roberto Baldoni, Nicolas Nisse, Maarten van Steen (2013)
- Information Systems Security: 10th International Conference, Iciss 2014, Hyderabad, India, December 16-20, 2014. Proceedings (lecture Notes In Computer Science) — Atul Prakash and Rudrapatna Shyamasundar (2014)
