Logic Programming - Couverture souple

Voronkov, Andrei

 
9783540554608: Logic Programming
Couverture souple
ISBN 10 : 3540554602 ISBN 13 : 9783540554608
Editeur : Springer, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540554602
ISBN 13 
9783540554608
Reliure
Broché
Nombre de pages
532
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3662184532 ISBN 13 :  9783662184530
Editeur : Springer, 2014
Couverture souple