Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science, 592) - Tapa blanda

Voronkov, Andrei

 
9783540554608: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science, 592)
Tapa blanda
ISBN 10: 3540554602 ISBN 13: 9783540554608
Editorial: Springer, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540554602
ISBN 13 
9783540554608
Encuadernación
Tapa blanda
Número de páginas
532
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3662184532 ISBN 13:  9783662184530
Editorial: Springer, 2014
Tapa blanda