Table of contents

  1. Front Matter
  2. Thierry Coquand, Christine Paulin
    Pages 50-66
  3. E. Ya. Dantsin
    Pages 67-75
  4. V. Ya. Kreinovich
    Pages 112-121
  5. Per Martin-Löf
    Pages 146-197
  6. Starchenko S. S., Voronkov A. A.
    Pages 275-285
  7. Alexey P. Stolboushkin
    Pages 286-299

About these proceedings


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 USSR and in Western countries.


Beweissysteme UdSSR logic programming proving theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52335-2
  • Online ISBN 978-3-540-46963-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods