by
Cox, Michael T. editor.
Format:
Electronic Resources
Excerpt:
proceedings, address many themes related to the theory and application of case-based reasoning and its future
by
Diaconescu, Răzvan. author.
Format:
Electronic Resources
Excerpt:
, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the
View Other Search Results
by
Peters, James F. editor.
Format:
Electronic Resources
Excerpt:
and theory of evidence. Volume XX in the series is a continuation of a number of research streams that
4.
by
de Boer, Frank. editor.
Format:
Electronic Resources
Excerpt:
directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory
by
Mazzola, Guerino. author.
Format:
Electronic Resources
Excerpt:
theoretical computer science. Despite the theoretical soundness, the material stresses a large number of core
by
Mohamed, Otmane Ait. editor.
Format:
Electronic Resources
Excerpt:
-- Real Number Calculations and Theorem Proving -- A Formalized Theory for Verifying Stability and
by
Lodaya, Kamal. editor.
Format:
Electronic Resources
Excerpt:
Problems Extended Abstract -- Learning Languages from Positive Data and a Finite Number of Queries -- The
by
Peters, James F. editor.
Format:
Electronic Resources
Excerpt:
Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory
by
Peters, James F. editor.
Format:
Electronic Resources
Excerpt:
Sets series, providing evidence of the continuing growth of a number of research streams. It includes
by
Arvind, V. editor.
Format:
Electronic Resources
Excerpt:
-- Probabilistic and Topological Semantics for Timed Automata -- A Theory for Game Theories -- An Incremental
by
Hurd, Joe. editor.
Format:
Electronic Resources
Excerpt:
Conditions -- Real Number Calculations and Theorem Proving -- Verifying a Secure Information Flow Analyzer
by
Peters, James F. editor.
Format:
Electronic Resources
Excerpt:
reasoning, and rough set theory and its 1 applications . Evidence of the in?uence of Prof. Pawlak’s work can
Limit Search Results
Narrowed by: