.png){kind=logo}
Mathematical foundations
Results 321 - 340 of 1148
Mathematical foundations
Hardback. Presents the foundations of mathematics, examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models. Series: Jaakko Hintikka Selected Papers. Num Pages: 250 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9780792347668
- ISBN
- 9780792347668
Hardback
Condition: New
€ 199.15
€ 199.15
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Heijmans, Henk J. A. M.; Roerdink, J...
Hardback. The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Editor(s): Heijmans, Henk J. A. M.; Roerdink, Jos B. T. M. Series: Computational Imaging and Vision. Num Pages: 452 pages, biography. BIC Classification: PBC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 452
- Condition
- New
- SKU
- V9780792351337
- ISBN
- 9780792351337
Hardback
Condition: New
€ 136.71
€ 136.71
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Belief change is a field of artificial intelligence and information science dedicated to the dynamics of information. This is a study of addition, deletion and combination of pieces of information, and the revision, updating and fusion of knowledge bases, offering a numerical view of belief change. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792351627
- ISBN
- 9780792351627
Hardback
Condition: New
€ 258.52
€ 258.52
Hardback. Presents a treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. This book shows that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction. Series: Trends in Logic. Num Pages: 299 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 299
- Condition
- New
- SKU
- V9780792352389
- ISBN
- 9780792352389
Hardback
Condition: New
€ 255.44
€ 255.44
Hardback. Cellular automata can be viewed both as computational models and modeling systems of real processes. This book covers massive parallel algorithms (firing squad, life, Fischer's primes recognition). It also surveys their computational power and the specific complexity classes they determine. Editor(s): Delorme, M.; Mazoyer, J. Series: Mathematics and its Applications. Num Pages: 374 pages, biography. BIC Classification: PBCD; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9780792354932
- ISBN
- 9780792354932
Hardback
Condition: New
€ 201.68
€ 201.68
hardcover. Examines the philosophical foundations of intuitionism since Oscar Becker's (1927) "Mathematische Existenz". This book examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. It examines centres on the questions of the intersubjectivity of mathematics. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 14. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792356301
- ISBN
- 9780792356301
Hardback
Condition: New
€ 131.99
€ 131.99
Hardback. Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792356592
- ISBN
- 9780792356592
Hardback
Condition: New
€ 133.20
€ 133.20
Hardback. Shows that the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. This book is suitable as an introductory text in categorical proof theory. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9780792357209
- ISBN
- 9780792357209
Hardback
Condition: New
€ 198.82
€ 198.82
Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 395
- Condition
- New
- SKU
- V9780792359043
- ISBN
- 9780792359043
Hardback
Condition: New
€ 201.92
€ 201.92
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Hardback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieter. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359586
- ISBN
- 9780792359586
Hardback
Condition: New
€ 258.40
€ 258.40
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Paperback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieterc. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 23. Weight in Grams: 1430.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359593
- ISBN
- 9780792359593
Paperback
Condition: New
€ 255.89
€ 255.89
hardcover. Features results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. This work offers a look at multiple-valued and fuzzy set-based logics, in an artificial intelligence perspective. Editor(s): Dubois, Didier; Prade, Henri; Klement, Erich Peter. Series: Applied Logic Series. Num Pages: 425 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 425
- Condition
- New
- SKU
- V9780792359777
- ISBN
- 9780792359777
Hardback
Condition: New
€ 202.73
€ 202.73
Hardback. States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit. Series: Trends in Logic. Num Pages: 233 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 265 x 189 x 22. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 233
- Condition
- New
- SKU
- V9780792360094
- ISBN
- 9780792360094
Hardback
Condition: New
€ 134.91
€ 134.91
Hardback. Examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. This book then examines the role of abstraction, analysis and axiomatization. It also raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Editor(s): Grosholz, Emily R.; Breger, Herbert. Series: Synthese Library. Num Pages: 416 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 416
- Condition
- New
- SKU
- V9780792361510
- ISBN
- 9780792361510
Hardback
Condition: New
€ 291.85
€ 291.85
hardcover. Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000 Editor(s): Hommel, Gunter. Num Pages: 196 pages, biography. BIC Classification: PBC; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer United States
- Edition
- 2000th Edition
- Number of pages
- 196
- Condition
- New
- SKU
- V9780792361732
- ISBN
- 9780792361732
Hardback
Condition: New
€ 131.66
€ 131.66
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 132.14
€ 132.14
Hardback. Surveys several applied fields in which triangular norms play a significant part: probabilistic metric spaces, aggregation operators, many-valued logics, fuzzy logics, sets and control, and non-additive measures together with their corresponding integrals. This work is self contained, including proofs, and gives many graphical illustrations. Series: Trends in Logic. Num Pages: 387 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 387
- Condition
- New
- SKU
- V9780792364160
- ISBN
- 9780792364160
Hardback
Condition: New
€ 257.41
€ 257.41
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780792364733
- ISBN
- 9780792364733
Hardback
Condition: New
€ 133.13
€ 133.13
Hardback. Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9780792365440
- ISBN
- 9780792365440
Hardback
Condition: New
€ 132.81
€ 132.81
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 258.08
€ 258.08