Languages
Swart, Harrie de.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Philosophical and mathematical logic
by:
SpringerLink (Online service); Swart, Harrie de.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.