Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Notes in Computer Science, 592, Band 592) - Softcover

Voronkov, Andrei

 
9783540554608: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Notes in Computer Science, 592, Band 592)
Softcover
ISBN 10: 3540554602 ISBN 13: 9783540554608
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540554602
ISBN 13 
9783540554608
Einband
Taschenbuch
Anzahl der Seiten
532
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783662184530: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Russia, September 11-16, 1991. Proceedings

Vorgestellte Ausgabe

ISBN 10:  3662184532 ISBN 13:  9783662184530
Verlag: Springer, 2014
Softcover