This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
This popular volume provides a solid foundation in the elements of basic digital electronics and switching theory that are used in most practical digital design today -- and builds on that theory with discussions of real-world digital components, design methodologies, and tools. Covers a full range of topics -- number systems and codes, digital circuits, combinational logic design principles and practices, combinational logic design with PLDs, sequential logic design principles and practices, sequential logic design with PLDs, memory, and additional real-world topics (e.g., computer-aided engineering tools, design for testability, estimating digital system reliability, and transmission lines, reflections, and termination). This edition introduces PLDs as soon as possible, emphasizes CMOS logic families and introduces digital circuits in a strongly technology-independent fashion, covers the latest Generic Array Logic (GAL) devices, offers expanded coverage of ROM and RAM system-level design, and provides additional design examples. For those needing a solid introduction or review of the principles and practices of modern digital design. Previously announced in Oct. 1992 PTR Catalogue.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.