Articles liés à Logic Programming
Synopsis
Logic Programming 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540554602
- ISBN 13 9783540554608
- ReliureBroché
- Langueanglais
- Nombre de pages532
Acheter neuf
Afficher cet article
EUR 54,58
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Logic Programming
Image d'archives
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170430
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540554608_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
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
Edité par
Springer Berlin Heidelberg, 1992
ISBN 10 : 3540554602
ISBN 13 : 9783540554608
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases,implementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion. N° de réf. du vendeur 9783540554608
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic Programming
Edité par
Springer Berlin Heidelberg, 1992
ISBN 10 : 3540554602
ISBN 13 : 9783540554608
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programmi. N° de réf. du vendeur 4893609
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programm
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540554608
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Logic Programming
Edité par
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10 : 3540554602
ISBN 13 : 9783540554608
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabasesimplementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion. 532 pp. Englisch. N° de réf. du vendeur 9783540554608
Quantité disponible : 2 disponible(s)