Handbook of Automated Reasoning - 2 volumes - Couverture rigide

Couverture rigide

ISBN 10 : 0444508139 ISBN 13 : 9780444508133

Editeur : North-Holland, 2001

Synopsis

Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.

Détails de l'édition

• Éditeur: North-Holland
• Date d'édition: 2001
• Langue: anglais
• ISBN 10: 0444508139
• ISBN 13: 9780444508133
• Reliure: Relié
• Nombre de pages: 2128
• Éditeur: Robinson Alan J.A., Voronkov Andrei
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible