Listing 1 - 8 of 8 |
Sort by
|
Choose an application
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.
Automatic theorem proving --- Computer simulation --- Computer programming --- Functional programming (Computer science) --- Parallel programming (Computer science) --- Théorèmes --- Simulation par ordinateur --- Programmation (Informatique) --- Programmation fonctionnelle --- Programmation parallèle (Informatique) --- Congresses --- Démonstration automatique --- Congrès --- Théorèmes --- Programmation parallèle (Informatique) --- Démonstration automatique --- Congrès --- Electronic digital computers --- Programming --- Information theory. --- Artificial intelligence. --- Computer science. --- Software engineering. --- Logic design. --- Theory of Computation. --- Artificial Intelligence. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication theory --- Communication --- Cybernetics
Choose an application
Choose an application
Applied arts. Arts and crafts --- earthenware --- New Guinea
Choose an application
Choose an application
Choose an application
Choose an application
Computer science --- Information technology --- Congresses --- Congresses
Choose an application
Computer science --- Information technology --- Engineering & Applied Sciences --- Computer Science --- Congresses --- Congresses
Listing 1 - 8 of 8 |
Sort by
|