語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Algebraic logic - Congresses.
概要
作品:
11 作品在 5 項出版品 5 種語言
書目資訊
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:
(書目-語言資料,印刷品)
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:
(書目-電子資源)
Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
(書目-電子資源)
Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : 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:
(書目-語言資料,印刷品)
Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 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.
Logic in AI.
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.
處理中
...
變更密碼
登入