Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540557272 - 1 juillet 1992
Si la couverture et le titre ne correspondent pas, le titre est correct.

Andrei Voronkov
Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - 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

Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

516 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 1 juillet 1992
ISBN13 9783540557272
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 516
Dimensions 155 × 233 × 27 mm   ·   734 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 )