Mathematical foundations
Results 1101 - 1120 of 1200
Mathematical foundations
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 415
- Condition
- New
- SKU
- V9781402006081
- ISBN
- 9781402006081
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 444
- Condition
- New
- SKU
- V9781402003684
- ISBN
- 9781402003684
Paperback
Condition: New
€ 70.28
€ 70.28
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 129.96
€ 129.96
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
€ 125.86
€ 125.86
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
€ 127.85
€ 127.85
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
€ 128.37
€ 128.37
Paperback. This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics Series: History of Analytic Philosophy. Num Pages: 218 pages, biography. BIC Classification: HPC; HPCF5; HPL; PBB; PBC; PBX. Category: (G) General (US: Trade). Dimension: 216 x 140 x 12. Weight in Grams: 300.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Edition
- 1st ed. 2013
- Number of pages
- 218
- Condition
- New
- SKU
- V9781349453733
- ISBN
- 9781349453733
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Num Pages: 154 pages, 1 black & white illustrations, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Birkhäuser
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780817640286
- ISBN
- 9780817640286
Paperback
Condition: New
€ 63.23
€ 63.23
Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 247.61
€ 247.61
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 248.70
€ 248.70
Fuzzy logic provides a simple way to arrive at a definite conclusion based upon vague, ambiguous, imprecise, noisy, or missing input information. Statistical Methods for Fuzzy Data deftly explains the basics of fuzzy logic and the use of statistical methods for fuzzy data sets. Series: Wiley Series in Probability and Statistics. Num Pages: 268 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 536.
- Publication date
- 2011
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780470699454
- ISBN
- 9780470699454
Hardback
Condition: New
€ 127.24
€ 127.24
Hardback. Suitable for nonexperts of Lie groups and representation theory and outsiders, this book presents the essential features of the theory on SLn(R). Series: Springer Monographs in Mathematics. Num Pages: 446 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 884.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 446
- Condition
- New
- SKU
- V9780387951157
- ISBN
- 9780387951157
Hardback
Condition: New
€ 125.35
€ 125.35
Hardback. Presents an approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. This monograph is suitable for graduate students and researchers in computer science and mathematics, particularly those studying complexity theory. Series: Monographs in Computer Science. Num Pages: 548 pages, biography. BIC Classification: PBCD; PBKD; PBV; PBW; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 951.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 548
- Condition
- New
- SKU
- V9780387948836
- ISBN
- 9780387948836
Hardback
Condition: New
€ 313.24
€ 313.24
Paperback. Offers a guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. This book assumes a basic knowledge of mathematics, and concludes with a chapter on fuzzy logic control. It uses numerous diagrams to illustrated the concepts. Num Pages: 154 pages, 82 black & white illustrations, biography. BIC Classification: PBCH; PBWX; TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 157 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 154
- Condition
- New
- SKU
- V9780387948072
- ISBN
- 9780387948072
Paperback
Condition: New
€ 186.38
€ 186.38
Paperback. Statistical Methods demonstriert, wie man mit Hilfe einfacher geometrischer Intuition viele wichtige statistische Methoden vereinheitlichen kann. Die Autoren zeigen mit diesem Ansatz, wie die Verwendung geometrischer Ideen ein starker visuelles Verstandnis fur die wesentlichen Eigenschaften statistischer Techniken schaffen kann. Num Pages: 268 pages, 20 black & white tables, biography. BIC Classification: PBC; PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780387947051
- ISBN
- 9780387947051
Paperback
Condition: New
€ 67.08
€ 67.08
Hardback. The Fundamental Theorem of Algebra states that any complex polynomial must have a complex root. This title contains a series of appendices that give six additional proofs including a version of Gauss' original first proof. It is intended for junior/senior level undergraduate mathematics students or first year graduate students. Series: Undergraduate Texts in Mathematics. Num Pages: 221 pages, biography. BIC Classification: PBC; PBF. Category: (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9780387946573
- ISBN
- 9780387946573
Hardback
Condition: New
€ 101.76
€ 101.76
Hardcover. Covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of 'naive' set theory, this text develops the Zermelo-Fraenkel axioms of the theory before discussing the ordinal and cardinal numbers. It delves into contemporary set theory, covering such topics as the Borel hierarchy and Lebesgue measure. Series: Undergraduate Texts in Mathematics. Num Pages: 204 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 164 x 18. Weight in Grams: 452.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer
- Edition
- 2nd
- Condition
- New
- SKU
- V9780387940946
- ISBN
- 9780387940946
Hardback
Condition: New
€ 89.26
€ 89.26
Optimization and Logistics Challenges in the Enterprise
. Ed(S): Chaovalitwongse, Wanpracha Art; Furm...
Hardback. This book brings together recent advances in supply chain and logistics research and computational optimization that apply to a collaborative environment in the enterprise. It is a "one-stop shop" to learn about industrial problems and logistics challenges. Editor(s): Chaovalitwongse, Wanpracha Art; Furman, Kevin C.; Pardalos, Panos M. Series: Springer Optimization and its Applications. Num Pages: 447 pages, 42 black & white tables, biography. BIC Classification: PBCN; PBUH; TBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 802.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 447
- Condition
- New
- SKU
- V9780387886169
- ISBN
- 9780387886169
Hardback
Condition: New
€ 130.96
€ 130.96
Hardback. This book presents an alternative approach and companion to the GUM Instrumentation Standard. Coverage provides an overview of the current standard, then pinpoints and constructively resolves its limitations. Series: Springer Series in Reliability Engineering. Num Pages: 228 pages, 20 black & white tables, biography. BIC Classification: PBC; PH. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9780387306551
- ISBN
- 9780387306551
Hardback
Condition: New
€ 68.67
€ 68.67
Paperback. The axiomatic theory of sets is a vibrant part of pure mathematics, and is also viewed as a foundation of mathematics. This book addresses both pure math and the fundamentals. The new edition is reworked and expanded for improved presentation. Series: Undergraduate Texts in Mathematics. Num Pages: 290 pages, biography. BIC Classification: PBCH. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 160 x 22. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd
- Number of pages
- 292
- Condition
- New
- SKU
- V9780387287232
- ISBN
- 9780387287232
Paperback
Condition: New
€ 83.12
€ 83.12