Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Psychiatry --- Semiology. Diagnosis. Symptomatology --- Medicine --- Medical logic --- Cognition --- DIAGNOSIS --- DECISION MAKING --- Decision making --- Evaluation --- Decision Making. --- Diagnosis. --- -Medicine --- -Clinical sciences --- Medical profession --- Human biology --- Life sciences --- Medical sciences --- Pathology --- Physicians --- Clinical reasoning --- Logic, Medical --- Medical reasoning --- Diagnosis --- Psychology --- Antemortem Diagnosis --- Diagnoses and Examinations --- Examinations and Diagnoses --- Postmortem Diagnosis --- Antemortem Diagnoses --- Diagnoses --- Diagnoses, Antemortem --- Diagnoses, Postmortem --- Diagnosis, Antemortem --- Diagnosis, Postmortem --- Postmortem Diagnoses --- Disease --- Decision Making, Shared --- Decision Makings, Shared --- Making, Shared Decision --- Makings, Shared Decision --- Shared Decision Making --- Shared Decision Makings --- Problem Solving --- -Evaluation --- Philosophy --- diagnosis --- Cognition. --- Medische psychologie --- Evaluation. --- gezondheidspsychologie --- gezondheidspsychologie. --- Decision Making --- Clinical sciences --- Decision making&delete& --- Citizen Science --- Health Workforce --- Diagnose --- Credit Assignment --- Assignment, Credit --- Assignments, Credit --- Credit Assignments --- Medicine - Decision making - Evaluation --- Medical logic - Evaluation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

Computer science --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer Science --- Mathematical Theory --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Logics and Meanings of Programs. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Discrete Mathematics in Computer Science. --- Mathematics. --- 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 --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebra --- Logic design. --- Computational complexity. --- Artificial Intelligence. --- Data processing. --- Complexity, Computational --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Field-effect transistors. --- Junction transistors.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Thyristors. --- Silicon.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Silicon carbide. --- Diodes, Schottky-barrier --- Evaluation.