登入

跳至 : 概要書目資訊主題

Logic, Symbolic and mathematical - Congresses.

概要

作品:	92 作品在 30 項出版品 30 種語言

書目資訊

Applied logic : = how, what, and why : logical approaches to natural language / by: (書目-語言資料,印刷品)

Proceedings / by: (書目-語言資料,印刷品)

Logic, methodology, and philosophy of science, VII : = proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 / by: (書目-語言資料,印刷品)

Logic Colloquium '87 : = proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / by: (書目-語言資料,印刷品)

Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / by: (書目-語言資料,印刷品)

Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / by: (書目-語言資料,印刷品)

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / by: (書目-語言資料,印刷品)

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 / by: (書目-語言資料,印刷品)

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / by: (書目-語言資料,印刷品)

Finite and infinite combinatorics in sets and logic : = [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991] / by: (書目-語言資料,印刷品)

主題

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Mathematical Logic and Foundations.

Computing Methodologies.

Theory of Computation.

Logic.

Electronic data processing- Congresses.

Knowledge management- Congresses.

Software engineering

Natural Language Processing (NLP)

Language and logic- Congresses.

Comprehension (Theory of knowledge)

Logics and Meanings of Programs.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Logic in AI.

Computer and Information Systems Applications.

Programming Language.

Science- Philosophy

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Algorithms

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Mathematical analysis- Congresses.

Carnap, Rudolf,- Logische Syntax der Sprache

Management of Computing and Information Systems.

Uncertainty (Information theory)

Control Structures and Microprogramming.

Database Management.

Data Structures.

Science- Methodology

Computer science- Mathematics

Set theory- Congresses.

Computational complexity

Comprehension (Theory of knowledge)- Mathematical models

Information Storage and Retrieval.

Mathematics.

Algorithms.

Formal methods (Computer science)

Grammar, Comparative and general- Syntax

Logical positivism

Computer Appl. in Administrative Data Processing.

Programming Languages, Compilers, Interpreters.

Computer logic

Computer programming

Special Purpose and Application-Based Systems.

Computer Science Logic and Foundations of Programming.

Logic, Symbolic and mathematical- Congresses.

Electronic data processing- Mathematics

Computer logic- Congresses.

Information theory- Congresses.

Computable functions- Congresses.

Formal languages

Data Mining and Knowledge Discovery.

Language and logic

Numeric Computing.

Database Management System.

Computer Engineering and Networks.

Database management

Combinatorial analysis

Robotics- Congresses.

Computer science

Mathematics Education.

Mathematics, general.

Computational Linguistics.

Order, Lattices, Ordered Algebraic Structures.

Algebra- Data processing

Artificial Intelligence.

Formal Languages and Automata Theory.

Geometry- Data processing

Computer Science.

Discrete Mathematics in Computer Science.

Arithmetic and Logic Structures.

Logic, Symbolic and mathematical

Simulation and Modeling.

Reasoning

Computers, Special purpose

Computer System Implementation.

Systems and Data Security.

System Performance and Evaluation.

Computer Systems Organization and Communication Networks.

Philosophy of Mathematics.

Computer Hardware.

Computer Communication Networks.

Design and Analysis of Algorithms.

Programming (Mathematics)- Congresses.

Artificial intelligence- Mathematical models

Lattice theory- Congresses.

Computational intelligence- Congresses.

Computational Biology/Bioinformatics.

Mathematics- Philosophy

Mathematical Logic and Foundations..

Symbolic and Algebraic Manipulation.

Computers- Congresses.

Mathematical analysis- Data processing

Computer Applications.

Compilers and Interpreters.