Automated Reasoning: 33 Basic Research Problems

Wos, Larry:

ISBN 10: 013054552X / ISBN 13: 9780130545527

Edité par Prentice Hall, 1987

A propos de cet article

319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500.

N° de réf. du vendeur 34597

Détails bibliographiques

• Titre: Automated Reasoning: 33 Basic Research Problems
• Éditeur: Prentice Hall
• Date de parution: 1987
• Langue: allemand
• ISBN à 10 chiffres: 013054552X
• ISBN à 13 chiffres: 9780130545527
• Reliure: paperback
• État de l'article: Sehr gut
• Catalogues du vendeur:
  • Varia

A propos de ce titre

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