Formal Techniques in Artificial Intelligence: A Sourcebook - Rilegato

Rilegato

ISBN 10: 0444881301 ISBN 13: 9780444881304

Casa editrice: North-Holland, 1990

Riassunto

Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of theoretical computer science. This book surveys various areas of Artificial Intelligence research, describing formal techniques. The areas chosen are most of those which have been - or can be - discussed with mathematical precision and clarity. The authors are all active researchers (in some cases international authorities) in their respective areas. The volume is much more than a collection of `annotated bibliographies'. The papers survey the basic techniques of each field, giving information that will facilitate further reading. The areas covered are: equations and identities in algebras, mechanical theorem proving, logical induction, intelligent data bases, qualitative reasoning, program verification and synthesis, automatic heuristic development and neural networks.

Su questo libro

Product Description

Book by None

Dettagli dell'edizione

• Editore: North-Holland
• Data di pubblicazione: 1990
• Lingua: Inglese
• ISBN 10: 0444881301
• ISBN 13: 9780444881304
• Rilegatura: Copertina rigida
• Numero di pagine: 450
• Redattore: Banerji Ranan B.
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile