語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Computer logic - Congresses.

概要

作品:	91 作品在 66 項出版品 66 種語言

書目資訊

Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / by: (書目-語言資料,印刷品)

Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / by: (書目-語言資料,印刷品)

Computational Logic in Multi-Agent Systems = 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (書目-語言資料,印刷品)

Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / by: (書目-語言資料,印刷品)

Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / by: (書目-語言資料,印刷品)

更多

主題

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Software Engineering.

Software engineering

Computing Methodologies.

Image Processing and Computer Vision.

Artificial intelligence

Input/Output and Data Communications.

Data Structures and Information Theory.

Computer organization

Theory of Computation.

Natural Language Processing (NLP)

Logic.

Logics and Meanings of Programs.

Language Translation and Linguistics.

Mathematics of Computing.

Commutative Rings and Algebras.

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Application software- Security measures

Programming Language.

Computer and Information Systems Applications.

Data and Information Security.

Automatic theorem proving

Distributed artificial intelligence

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Logic programming

Database Management.

Programming Techniques.

Mathematical Applications in Computer Science.

Algebraic Geometry.

Algorithms

Management of Computing and Information Systems.

Control Structures and Microprogramming.

Computing Milieux.

Information Systems Applications (incl. Internet)

Robotics.

Logic

Computer science- Mathematics

Type theory- Congresses.

Programming Languages, Compilers, Interpreters.

Formal methods (Computer science)

Information Storage and Retrieval.

Document Preparation and Text Processing.

Computer Appl. in Administrative Data Processing.

Field Theory and Polynomials.

Special Purpose and Application-Based Systems.

Management information systems

Computer programming

Computer system failures

Programming languages (Electronic computers)

Knowledge based Systems.

Computer Science Logic and Foundations of Programming.

Computer logic- Congresses.

Logic, Symbolic and mathematical- Congresses.

Programming languages (Electronic computers)- Semantics

Data Mining and Knowledge Discovery.

Coding and Information Theory.

Computer multitasking

Computer simulation

Rule-based programming

Computer Engineering and Networks.

Language and logic

Database management

Intelligent agents (Computer software)- Congresses.

Knowledge acquisition (Expert systems)

Computer science

Memory Structures.

Artificial Intelligence.

Mathematical statistics

Computer security

Formal Languages and Automata Theory.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Computational linguistics

Knowledge management

Computer software- Development

Computer Systems Organization and Communication Networks.

Systems and Data Security.

Probability and Statistics in Computer Science.

Computer System Implementation.

Computers, Special purpose

Reversible computing

Logic, Symbolic and mathematical

System Performance and Evaluation.

Simulation and Modeling.

Arithmetic and Logic Structures.

Computer Appl. in Social and Behavioral Sciences.

Computer Hardware.

Computer networks

Knowledge Based Systems.

Programming languages (Electronic Computers)

Symbolic and Algebraic Manipulation.

e-Commerce/e-business.

Computer Applications.

Stochastic processes

Security Services.

Compilers and Interpreters.

Computer Application in Administrative Data Processing.

變更密碼

登入