An edition of Logic programming (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

by

Cover of: Logic programming by Russian Conference on Logic Programming (1st 1990 Irkutsk, R.S.F.S.R.), Russian Conference on Logic Programming (1st 1990 Irkutsk, R.S.F.S.R.)
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
June 20, 2025 | History
Edit
An edition of Logic programming (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

by

"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.

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
514

Check nearby libraries

Buy this book

Subjects

Congresses Logic programming
Edition Availability
Cover of: Logic programming
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
1992, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 592., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 592., Lecture notes in computer science.

Classifications

Dewey Decimal Class
005.1/1
Library of Congress
QA76.63 .R87 1990, QA1-939

The Physical Object

Pagination
ix, 514 p. :
Number of pages
514

Edition Identifiers

Open Library
OL1714060M
ISBN 10
3540554602, 0387554602
LCCN
92016288
OCLC/WorldCat
25832232
Goodreads
4138784

Work Identifiers

Work ID
OL4289098W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation