Mathematical foundations
Results 1 - 20 of 268
Mathematical foundations
Hardback. This text provides a presentation of general philosophical approaches, more technical foundational discussions, questions related to the application of mathematics, and historical analyses. Editor(s): Agazzi, Evandro; Darvas, Gyorgy. Series: Episteme. Num Pages: 361 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 361
- Condition
- New
- SKU
- V9780792343431
- ISBN
- 9780792343431
Hardback
Condition: New
€ 130.22
€ 130.22
Hardback. Perspectives in Computational Complexity Editor(s): Agrawal, Manindra; Arvind, Vikraman. Series: Progress in Computer Science and Applied Logic. Num Pages: 212 pages, 7 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 212
- Condition
- New
- SKU
- V9783319054452
- ISBN
- 9783319054452
Hardback
Condition: New
€ 138.95
€ 138.95
Hardback. Robert A Rankin is one of the world's foremost authorities on modular forms. This work collects together 25 papers reflecting Rankin's range of interests within number theory. Many of these papers reflect Rankin's primary focus in modular forms. This volume is useful to students and researchers in the areas of number theory and modular forms. Editor(s): Berndt, Bruce C.; Ono, Ken. Series: Developments in Mathematics. Num Pages: 400 pages, biography. BIC Classification: PBCD; PBH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 1660.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 400
- Condition
- New
- SKU
- V9781402076152
- ISBN
- 9781402076152
Hardback
Condition: New
€ 135.73
€ 135.73
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 137.96
€ 137.96
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.10
€ 132.10
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.62
€ 201.62
Hardback. Covers the basic elements of fuzzy set theory. This title discusses the historical emergence of fuzzy sets, and delves into fuzzy set connectives, and the representation and measurement of membership functions. It covers fuzzy relations, including orderings, similarity, and relational equations. Editor(s): Dubois, Didier; Prade, Henri. Series: The Handbooks of Fuzzy Sets. Num Pages: 647 pages, biography. BIC Classification: PBCD; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1116.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 647
- Condition
- New
- SKU
- V9780792377320
- ISBN
- 9780792377320
Hardback
Condition: New
€ 198.47
€ 198.47
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.67
€ 202.67
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.46
€ 258.46
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.12
€ 258.12
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
€ 259.80
€ 259.80
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
€ 72.90
€ 72.90
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
€ 131.30
€ 131.30
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.77
€ 291.77
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.67
€ 136.67
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.77
€ 132.77
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
€ 133.76
€ 133.76
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
€ 133.22
€ 133.22
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
€ 131.35
€ 131.35
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
€ 129.98
€ 129.98