.png){kind=logo}
Mathematical foundations
Results 301 - 317 of 317
Mathematical foundations
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
€ 230.01
€ 230.01
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 232.86
€ 232.86
Hardback. George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus. The utility of 'Boolean algebra' in computing has greatly increased curiosity in the nature and extent of his achievements. This work is suitable for logicians, mathematicians and philosophers, and students of the early Victorian Britain. Editor(s): Grattan-Guinness, Ivor; Bornet, Gerard. Series: Science Networks. Historical Studies. Num Pages: 301 pages, biography. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 163 x 23. Weight in Grams: 604.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 301
- Condition
- New
- SKU
- V9783764354565
- ISBN
- 9783764354565
Hardback
Condition: New
€ 65.57
€ 65.57
Paperback. Lattice Theory: Special Topics and Applications Editor(s): Gratzer, George A.; Wehrung, Friedrich. Num Pages: 481 pages, 78 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 25. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 481
- Condition
- New
- SKU
- V9783319064123
- ISBN
- 9783319064123
Paperback
Condition: New
€ 117.85
€ 117.85
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
€ 261.47
€ 261.47
Hardback. Contains a selection of eighteen articles that were presented at the 5th International Conference on Multivariate Approximation, that was held in Witten-Bommerholz in September 2002. Editor(s): Haussmann, Werner; Jetter, K.; Reimer, Manfred; Stockler, Joachim. Series: International Series of Numerical Mathematics. Num Pages: 299 pages, biography. BIC Classification: PBC. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 299
- Condition
- New
- SKU
- V9783764321956
- ISBN
- 9783764321956
Hardback
Condition: New
€ 120.21
€ 120.21
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
€ 122.65
€ 122.65
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
€ 119.17
€ 119.17
Paperback. Editor(s): Herbera, Dolors; Pitsch, Wolfgang; Zarzuela, Santiago. Series: Trends in Mathematics. Num Pages: 192 pages, 2 black & white illustrations, biography. BIC Classification: PBC; PBF; PBPD; PBU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 192
- Condition
- New
- SKU
- V9783319454405
- ISBN
- 9783319454405
Paperback
Condition: New
€ 142.41
€ 142.41
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000218
- ISBN
- 9781402000218
Hardback
Condition: New
€ 120.10
€ 120.10
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger's work. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001116
- ISBN
- 9781402001116
Hardback
Condition: New
€ 119.57
€ 119.57
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title deals with the work of Stig Kanger. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001123
- ISBN
- 9781402001123
Paperback
Condition: New
€ 117.44
€ 117.44
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 1000.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000225
- ISBN
- 9781402000225
Paperback
Condition: New
€ 117.90
€ 117.90
Hardback. This volume highlights the various Lie algebraic methods used in mathematical research today. Key topics include spherical varieties, vertex algebras, Littelmann Paths and Kac-Moody Borcherds algebras, finite W-algebras, modular representations and primitive ideals. Editor(s): Joseph, Anthony; Melnikov, Anna; Penkov, Ivan. Series: Progress in Mathematics. Num Pages: 242 pages, 4 black & white illustrations, biography. BIC Classification: PBC; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 531.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9780817682736
- ISBN
- 9780817682736
Hardback
Condition: New
€ 115.16
€ 115.16
Hardback. Editor(s): Ju, Shier; Lowe, Benedikt; Xie, Yun; Muller, Thomas. Series: Trends in the History of Science. Num Pages: 132 pages, 17 black & white illustrations, 2 colour illustrations, biography. BIC Classification: HPL; PBB; PBC; PBX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 372.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 132
- Condition
- New
- SKU
- V9783319315003
- ISBN
- 9783319315003
Hardback
Condition: New
€ 114.18
€ 114.18
Hardback. Editor(s): Kahle, Reinhard; Strahm, Thomas; Studer, Thomas. Series: Progress in Computer Science and Applied Logic. Num Pages: 437 pages, 10 black & white illustrations, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 437
- Condition
- New
- SKU
- V9783319291963
- ISBN
- 9783319291963
Hardback
Condition: New
€ 115.99
€ 115.99
hardcover. Fuzzy hardware developments have been a major force driving the applications of fuzzy set theory and fuzzy logic in both science and engineering. This work provides a comprehensive look at works describing developments of fuzzy hardware. It serves as a reference book for researchers, engineers and scientists interested in fuzzy systems. Editor(s): Kandel, Abraham; Langholz, Gideon. Num Pages: 422 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 802.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1998th Edition
- Number of pages
- 422
- Condition
- New
- SKU
- V9780792380290
- ISBN
- 9780792380290
Hardback
Condition: New
€ 121.76
€ 121.76
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 118.93
€ 118.93
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 62.54
€ 62.54
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 62.99
€ 62.99