Skip to content

Logic Programming and Automated Reasoning: International Conference Lpar '92,
Stock Photo: Cover May Be Different

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Paperback - 1992 - 1992nd Edition

by Andrei Voronkov (Editor)


From the publisher

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 communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

First line

Partial deduction (or evaluation) has been introduced to logic programming in 1981 by Komorowski [KomSl].

Details

  • Title Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
  • Author Andrei Voronkov (Editor)
  • Binding Paperback
  • Edition number 1992nd
  • Edition 1992
  • Pages 516
  • Volumes 1
  • Language ENG
  • Publisher Springer, Heidelberg
  • Date 1992-07-01
  • Illustrated Yes
  • ISBN 9783540557272 / 354055727X
  • Weight 1.62 lbs (0.73 kg)
  • Dimensions 9.21 x 6.14 x 1.07 in (23.39 x 15.60 x 2.72 cm)
  • Library of Congress Catalog Number 92021886
  • Dewey Decimal Code 006.3
Back to Top

More Copies for Sale

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg,...

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

by Andrei Voronkov

  • New
Condition
New
ISBN 10 / ISBN 13
9783540557272 / 354055727x
Quantity Available
274
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.46
$10.15 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings.
Item Price
$67.46
$10.15 shipping to USA
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg,...
Stock Photo: Cover May Be Different

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

by Andrei Voronkov

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540557272 / 354055727x
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.49
$12.63 shipping to USA

Show Details

Description:
Paperback / softback. New. This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.
Item Price
$76.49
$12.63 shipping to USA
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg,...
Stock Photo: Cover May Be Different

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

by Voronkov, Andrei

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783540557272 / 354055727X
Quantity Available
1
Seller
San Casciano V.P., Italy
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$89.44
$22.79 shipping to USA

Show Details

Description:
Heidelberg: Springer Distribution Center GmbH (SDC), 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23.
Item Price
$89.44
$22.79 shipping to USA
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg,...
Stock Photo: Cover May Be Different

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

by Voronkov, Andrei [Editor]

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540557272 / 354055727X
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
$181.00
$15.00 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
$181.00
$15.00 shipping to USA
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg,...
Stock Photo: Cover May Be Different

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by Andrei Voronkov (Editor)

  • Used
  • Paperback
Condition
Used:Good
Edition
1992
Binding
Paperback
ISBN 10 / ISBN 13
9783540557272 / 354055727X
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$201.96
FREE shipping to USA

Show Details

Description:
Springer, 1992-07-29. 1992. Paperback. Used:Good.
Item Price
$201.96
FREE shipping to USA