語系
Swart, Harrie de.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and Applications of Relational Structures as Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
by:
SpringerLink (Online service); Swart, Harrie de.
(書目-電子資源)
Automated reasoning with analytic tableaux and related methodsInternational Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
by:
(1998 :); SpringerLink (Online service); Swart, Harrie de.
(書目-電子資源)
Relational and algebraic methods in computer science12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings /
by:
(1998 :); SpringerLink (Online service); Swart, Harrie de.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Artificial intelligence
Software Engineering.
Logic.
Mathematical Logic and Foundations.
Relationism.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Database Management.
Automatic theorem proving
Epistemology.
Computer science
Computer science.
Computer Science.
Simulation and Modeling.
Symbolic and Algebraic Manipulation.