Terkko Navigator / -/ Feeds / " ( ( Logiikka )|( Johdonmukaisuus )|( Logic )|( Logics ) ) and meanings of ( ( Ohje"

Algebra, Algèbre, Computer Science, Computing Methodologies, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, Theory of Computation, Goguen, Joseph, sähkökirjat

Computer science, Logic, Symbolic and mathematical, Algorithm Analysis and Problem Complexity, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer software, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, sähkökirjat

Electronic data processing, Parallel processing (Electronic computers), Parallel programs (Computer programs), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Theory of Computation, sähkökirjat

Computer software, Computer systems, Formal methods (Computer science), Logiciels, Méthodes formelles (Informatique), Systèmes informatiques, Conception de logiciels, Conception de systèmes, Méthode formelle, Spécification algébrique, Transformation de graphes, Computer Science, Computation by Abstract Devices, Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering, sähkökirjat

Lambda calculus, Processes, Infinite, Rewriting systems (Computer science), Lambda-calcul, Processus infinis, Réécriture, Systèmes de (Informatique), MATHEMATICS, Aspektorientierte Programmierung, Constraint-Programmierung, Lambda-Kalkül, Prozessalgebra, Reduktionssystem, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Klop, J. W, Processes, sähkökirjat

Component software, Software architecture, Architecture logicielle, Composants logiciels, Computer Science, Logics and Meanings of Programs, Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering, sähkökirjat

Computer software, Electronic digital computers, Computer Science, Artificial Intelligence (incl. Robotics), Logic Design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, sähkökirjat

Interactive computer systems, Benutzermodell, Benutzeroberfläche, Echtzeitverarbeitung, Mensch-Maschine-Kommunikation, Multimodales System, Softwareentwicklung, Systementwurf, Computer Science, Computer Communication Networks, Information Storage and Retrieval, Logics and Meanings of Programs, Multimedia Information Systems, Software Engineering, User Interfaces and Human Computer Interaction, sähkökirjat

Algorithms, Computer programming, Rewriting systems (Computer science), Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Symbolic and Algebraic Manipulation, sähkökirjat

Computer science, Object-oriented programming (Computer science), Software engineering, Computer Communication Networks, Logics and Meanings of Programs, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Logic programming, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Automatic theorem proving, Computer programming, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Symbolic and Algebraic Manipulation, sähkökirjat

Computer science, Programming languages (Electronic computers), Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering, Symbolic and Algebraic Manipulation, Mosses, Peter, sähkökirjat

Computer algorithms, Computer Science, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Math Applications in Computer Science, Numeric Computing, Software Engineering, Mehlhorn, Kurt, sähkökirjat

Artificial intelligence, Automatic theorem proving, Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, Software Engineering/Programming and Operating Systems, sähkökirjat

Mathematical linguistics, Algebra -- Data processing, Computer science, Information theory, Logic design, Logic, Symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematics of Computing, Symbolic and Algebraic Manipulation, Theory of Computation, sähkökirjat

Artificial intelligence, Game theory, Logic, Algebra -- Data processing, Computational complexity, Computer science, Discrete Mathematics in Computer Science, Information theory, Logic design, Logic, Symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Symbolic and Algebraic Manipulation, Theory of Computation, sähkökirjat

Computer algorithms, Machine learning, Algorithm Analysis and Problem Complexity, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computation by Abstract Devices, Computer science, Computer software, Information Systems Applications (incl. Internet), Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, sähkökirjat

Multiagent systems, Software engineering, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Computer simulation, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, User Interfaces and Human Computer Interaction, sähkökirjat

Formal methods (Computer science), Software engineering, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Computer software, Formal methods (Computer science), Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Computer simulation, Formal methods (Computer science), Temporal automata, Algorithm Analysis and Problem Complexity, Computer science, Computer software, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Computer software, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Models and Principles, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineering, Symbolic and Algebraic Manipulation, sähkökirjat

Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics), Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineering, Symbolic and Algebraic Manipulation, sähkökirjat

Business, Data recovery (Computer science), Management information systems, Software engineering, Artificial intelligence, Computer Communication Networks, Computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, sähkökirjat

Programming languages (Electronic computers), Software engineering, Computer science, Data protection, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Systems and Data Security, sähkökirjat

Machine theory, Computer Science, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, sähkökirjat

Functional programming languages, Computer Science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, System Performance and Evaluation, sähkökirjat

Functional programming languages, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Multiagent systems, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer Communication Networks, Computer science, Information Systems Applications (incl. Internet), Logic design, Logics and Meanings of Programs, Programming Techniques, Software engineering, sähkökirjat

Functional programming languages, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Computer systems, Decidability (Mathematical logic), Graph theory, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Computer science, Computer software, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineering, sähkökirjat

Formal methods (Computer science), Computer science, Information Systems, Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Software engineering, Computer science, Information Systems, Information Systems Applications (incl. Internet), Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, sähkökirjat

Formal methods (Computer science), Computer science, Logic design, Logics and Meanings of Programs, Operating Systems, Operating systems (Computers), Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, Software Engineering/Programming and Operating Systems, sähkökirjat

Computer science, Computer software, Formal methods (Computer science), Software engineering, Algebra, Category Theory, Homological Algebra, Logic design, Logic, Symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Foundations, Software Engineering/Programming and Operating Systems, sähkökirjat

Biomathematics, Computational biology, Bioinformatics, Computational Biology/Bioinformatics, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineering, Symbolic and Algebraic Manipulation, sähkökirjat

Computer software, Artificial intelligence, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Computer science, Software engineering, Algorithm Analysis and Problem Complexity, Computer Communication Networks, Computer software, Information Systems, Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, sähkökirjat

Declarative programming languages, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, sähkökirjat

Computer software, Software engineering, Computer science, Information Systems, Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, sähkökirjat

Simulation methods, System design, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Models and Principles, Programming Languages, Compilers, Interpreters, Software engineering, sähkökirjat

Computer logic, Computer science, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Computer software, Information theory, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, Theory of Computation, sähkökirjat

Computer science, Computer software, Computation by Abstract Devices, Information theory, Logic design, Logic, Symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematics of Computing, Theory of Computation, sähkökirjat

Biologically-inspired computing, Computer science, Formal methods (Computer science), Algorithm Analysis and Problem Complexity, Appl.Mathematics/Computational Methods of Engineering, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer Communication Networks, Computer software, Engineering mathematics, Logic design, Logics and Meanings of Programs, Software engineering, sähkökirjat

Computer networks, Electronic data processing, Internet, Computer Communication Networks, Computer science, Data encryption (Computer science), Information storage and retrieval systems, Information Storage and Retrieval, Information Systems Applications (incl. Internet), Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, sähkökirjat

Computer logic, Computer systems, Database design, Information technology, Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computational complexity, Computer science, Computer software, Discrete Mathematics in Computer Science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, sähkökirjat

Data mining, Database management, Digital libraries, Semantic Web, Artificial intelligence, Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineering, sähkökirjat