Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference

Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference
Author :
Publisher : World Scientific
Total Pages : 418
Release :
ISBN-10 : 9789814550536
ISBN-13 : 9814550531
Rating : 4/5 (531 Downloads)

Book Synopsis Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference by : Philippe Jorrand

Download or read book Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference written by Philippe Jorrand and published by World Scientific. This book was released on 1994-08-04 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference Related Books

Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference
Language: en
Pages: 418
Authors: Philippe Jorrand
Categories:
Type: BOOK - Published: 1994-08-04 - Publisher: World Scientific

DOWNLOAD EBOOK

Artificial Intelligence
Language: en
Pages: 401
Authors: Philippe Jorrand
Categories: Science
Type: BOOK - Published: 1994 - Publisher: World Scientific Publishing Company Incorporated

DOWNLOAD EBOOK

Artificial Intelligence
Language: en
Pages: 418
Authors: P. Jorrand
Categories: Artificial intelligence
Type: BOOK - Published: 1994 - Publisher: World Scientific

DOWNLOAD EBOOK

Epistemic Logic for AI and Computer Science
Language: en
Pages: 376
Authors: J.-J. Ch. Meyer
Categories: Computers
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A broad introduction to the subject; many exercises with full solutions are provided.
Automated Theorem Proving in Software Engineering
Language: en
Pages: 252
Authors: Johann M. Schumann
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th