Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 29 juin 1993
Si la couverture et le titre ne correspondent pas, le titre est correct.

Andrei Voronkov
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 12 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.

408 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 29 juin 1993
ISBN13 9783540569442
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 155 × 233 × 21 mm   ·   576 g
Langue et grammaire Allemand  
Éditeur Voronkov, Andrei

Plus par Andrei Voronkov

Afficher tout

Voir tous les Andrei Voronkov ( par ex. Paperback Book et Hardcover Book )