Ditapis dengan
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Set Software -- Data Mining -- Hybrid and Hierarchical Methods -- Information Retrieval -- Image Recognition and Processing -- Multimedia Applications -- Medical Applications -- Bioinformatic Applications -- Web Content Analysis -- Business Applications -- Security Applications -- Industrial Applications -- Embedded Systems and Networking -- Intelligent and Sapient Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318248
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set Approximations -- Rough Sets and Higher Order Vagueness -- Approximation in Formal Concept Analysis -- Second-Order Rough Approximations in Multi-criteria Classification with Imprecise Evalua…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318255
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Visualization, Explanation and Reasoning Styles in Mathematics
Mathematical Reasoning and Visualization -- Visualization in Logic and Mathematics -- From Symmetry Perception to Basic Geometry -- Naturalism, Pictures, and Platonic Intuitions -- Mathematical Activity -- Mathematical Explanation and Proof Styles -- Tertium Non Datur: On Reasoning Styles in Early Mathematics -- The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Pr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402033353
- Deskripsi Fisik
- X, 300 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Valued Fields
Absolute Values -- Valuations -- Extension of Valuations -- Henselian Fields -- Structure Theory -- Applications of Valuation Theory.Absolute values and their completions -like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible. In valu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540300359
- Deskripsi Fisik
- X, 208 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Propositional and Predicate Calculus: A Model of Argument
Propositions and Truth Assignments -- Formal Propositional Calculus -- Predicates and Models -- Formal Predicate Calculus -- Some Uses of Compactness.At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: - the repres…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846282294
- Deskripsi Fisik
- VIII, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Modern Perspective on Type Theory
The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023354
- Deskripsi Fisik
- XIV, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logica Universalis
Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373047
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Modern Number Theory
Problems and Tricks -- Number Theory -- Some Applications of Elementary Number Theory -- Ideas and Theories -- Induction and Recursion -- Arithmetic of algebraic numbers -- Arithmetic of algebraic varieties -- Zeta Functions and Modular Forms -- Fermat’s Last Theorem and Families of Modular Forms -- Analogies and Visions -- Introductory survey to part III: motivations and description -- Arake…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540276920
- Deskripsi Fisik
- XVI, 514 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah