文档介绍：TEXTS PUTER SCIENCE
Editors
David Gries
Fred B. Schneider
TEXTS PUTER SCIENCE
Apt and Olderog, Verification of Sequential and Concurrent
Programs, Second Edition
Alagar and Periyasamy, Specification of Software Systems
Back and von Wright, Refinement Calculus: A Systematic
Introduction
Beidler, Data Structures and Algorithms: An Object-Oriented
Approach Using Ada 95
Bergin, Data Structures Programming: With the Standard
Template Library in C++
Brooks, C Programming: The Essentials for Engineers and
Scientists
Brooks, Problem Solving with Fortran 90: For Scientists and
Engineers
Dandamudi, Fundamentals anization and Design
Dandamudi, Introduction to Assembly Language Programming:
For Pentium and RISC Processors, Second Edition
Dandamudi, Introduction to Assembly Language Programming:
From 8086 to Pentium Processors
Fitting, First-Order Logic and Automated Theorem Proving,
Second Edition
Grillmeyer, puter Science with Scheme
Homer and Selman, Computability plexity Theory
Immerman, plexity
Jalote, An Integrated Approach to Software Engineering, Third
Edition
(continued after index)
Toshinori Munakata
Fundamentals of the New
Artificial Intelligence
Neural, Evolutionary, Fuzzy and More
Second Edition
Toshinori Munakata
Computer and Information Science Department
Cleveland State University
Cleveland, OH 44115
USA
t.******@
ISBN: 978-1-84628-838-8 e-ISBN: 978-1-84628-839-5
DOI: -1-84628-839-5
British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library
Library of Congress Control Number: 2007929732
© Springer-Verlag London Limited 2008
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the
Copyright, Designs and Patents Act of 1988, this publication may only be reproduced, stored or transmitted, in any
form or by any means, with the prior permissio