Logic Programming and Its Applications (Ablex Series in Artificial Intelligence)

Van Caneghem, Michel, Warren, David

ISBN 10: 0893912328 / ISBN 13: 9780893912321

Edité par Intellect Ltd, 1986

A propos de cet article

Good.

N° de réf. du vendeur D8S0-3-M-0893912328-4

Détails bibliographiques

• Titre: Logic Programming and Its Applications (Ablex Series in Artificial Intelligence)
• Éditeur: Intellect Ltd
• Date de parution: 1986
• Langue: anglais
• ISBN à 10 chiffres: 0893912328
• ISBN à 13 chiffres: 9780893912321
• Reliure: hardcover
• État de l'article: Good
• Type de livre: book

A propos de ce titre

Synopsis

Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled logical deduction. The approach currently finds practical realization in the programming language PROLOG. This volume contains details of research in the field, with a special emphasis on applications including expert systems, natural language parsing and analysis, database management and knowledge acquisition, circuit analysis, and hardware verification.