語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Algebraic logic - Congresses.

概要

作品:	10 作品在 4 項出版品 4 種語言

書目資訊

Relational and Kleene-algebraic methods in computer science = 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic coding theory and information theory : = DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey / by: (書目-語言資料,印刷品)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (書目-語言資料,印刷品)

Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (書目-電子資源)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (書目-語言資料,印刷品)

Relational and Kleene-algebraic methods in computer science = 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

主題

Algebraic logic

Mathematical Logic and Formal Languages.

Software Engineering.

Theory of Computation.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Information Systems and Communication Service.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Software engineering- Congresses.

Logic programming

Computer science- Mathematics

Coding theory- Congresses.

Numeric Computing.

Database Management System.

Data Mining and Knowledge Discovery.

Relation algebras

Information theory in mathematics

Abstract data types (Computer science)- Congresses.

Artificial Intelligence.

Computer Science.

Discrete Mathematics in Computer Science.

Knowledge Based Systems.

Symbolic and Algebraic Manipulation.

變更密碼

登入