Synopsis
Discusses ways to contribute to the field of automated reasoning by solvving the proposed research problems and exploring new technologies such as parallel processing and logic programming
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Automated Reasoning: 33 Basic Research Problems
Image d'archives
Automated Reasoning: 33 Basic Research Problems.
Edité par
Prentice Hall, 1987
ISBN 10 : 013054552X
ISBN 13 : 9780130545527
Ancien ou d'occasion
Soft cover
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good. pp.x, 374 pages a very good paperback, [013054552X]. N° de réf. du vendeur 118912
Acheter D'occasion
EUR 7,24
Expédition à EUR 8,07
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning: 33 Basic Research Problems
Edité par
Prentice Hall, 1987
ISBN 10 : 013054552X
ISBN 13 : 9780130545527
Ancien ou d'occasion
paperback
Vendeur : book-link, Nufringen, BW, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Sehr gut. 319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500. N° de réf. du vendeur 34597
Acheter D'occasion
EUR 32,70
Expédition à EUR 49,90
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)