Mathematical foundations
Results 201 - 220 of 1200
Mathematical foundations
Classical and New Paradigms of Computation and Their Complexity Hierar...
. Ed(S): Lowe, Benedikt; Piwinger, Boris; Ras...
Hardback. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume investigates mathematical properties of complexity hierarchies, and also discusses algorithms and computational properties. It is of interest to both mathematical logicians and theoretical computer scientists. Editor(s): Lowe, Benedikt; Piwinger, Boris; Rasch, Thoralf. Series: Trends in Logic. Num Pages: 260 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781402027758
- ISBN
- 9781402027758
Hardback
Condition: New
€ 244.27
€ 244.27
Paperback. Editor(s): Lowen, R.; Roubens, M. R. Series: Theory and Decision Library: D. Num Pages: 587 pages, biography. BIC Classification: GPFC; KJ; PBC; TGB; UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 31. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 587
- Condition
- New
- SKU
- V9789401048903
- ISBN
- 9789401048903
Paperback
Condition: New
€ 411.17
€ 411.17
Paperback. Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on. Editor(s): Lupacchini, Rossella; Corsi, Giovanna. Num Pages: 280 pages, biography. BIC Classification: HP; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Number of pages
- 280
- Condition
- New
- SKU
- V9788847007833
- ISBN
- 9788847007833
Paperback
Condition: New
€ 122.61
€ 122.61
The Dynamics of Judicial Proof. Computation, Logic and Common Sense.
. Ed(S): Maccrimmon, Marilyn; Tillers, Peter
Hardback. The papers in this collection consider whether computational or other formal logical methods developed in disciplines such as artificial intelligence, decision theory and probability theory can enable the study and management of dynamic evidentiary and inferential processes in litigation. Editor(s): MacCrimmon, Marilyn; Tillers, Peter. Series: Studies in Fuzziness and Soft Computing. Num Pages: 494 pages, 5 black & white tables, biography. BIC Classification: LAF; PBCD; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1990.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783790814590
- ISBN
- 9783790814590
Hardback
Condition: New
€ 257.76
€ 257.76
Mathematical Foundations of Programming Language Semantics
. Ed(S): Main, M.; Melton, Austin; Mislove, M...
Paperback. Editor(s): Main, M.; Melton, Austin; Mislove, Michael; Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, 1 black & white illustrations, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540190202
- ISBN
- 9783540190202
Paperback
Condition: New
€ 74.05
€ 74.05
Paperback. This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded. Editor(s): Majer, Ondrej; Pietarinen, Ahti-Veikko (University of Helsinki); Tulenheimo, Tero. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 402 pages, biography. BIC Classification: CFA; CFG; HPL; PBC; PBW; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 402
- Condition
- New
- SKU
- V9789048181155
- ISBN
- 9789048181155
Paperback
Condition: New
€ 186.83
€ 186.83
Hardback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 344
- Condition
- New
- SKU
- V9781402090837
- ISBN
- 9781402090837
Hardback
Condition: New
€ 192.86
€ 192.86
Paperback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 186.41
€ 186.41
Paperback. Editor(s): Marion, Mathieu; Cohen, Robert S. Series: Boston Studies in the Philosophy and History of Science. Num Pages: 344 pages, biography. BIC Classification: HB; HPK; HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 18. Weight in Grams: 556.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 344
- Condition
- New
- SKU
- V9789401072045
- ISBN
- 9789401072045
Paperback
Condition: New
€ 123.04
€ 123.04
Paperback. Editor(s): Marti-Oliet, Narciso; Palomino, Miguel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 71 black & white illustrations, biography. BIC Classification: PBC; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642376344
- ISBN
- 9783642376344
Paperback
Condition: New
€ 64.22
€ 64.22
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 242.09
€ 242.09
Paperback. Editor(s): Masulli, Francesco; Pasi, Gabriella; Yager, Ronald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 261 pages, 67 black & white illustrations, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319031996
- ISBN
- 9783319031996
Paperback
Condition: New
€ 63.81
€ 63.81
Paperback. Editor(s): Matsakis, Pascal; Sztandera, Les M. Series: Studies in Fuzziness and Soft Computing. Num Pages: 205 pages, 170 black & white illustrations, 16 black & white tables. BIC Classification: PBC; UYQ; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 205
- Condition
- New
- SKU
- V9783662002940
- ISBN
- 9783662002940
Paperback
Condition: New
€ 63.55
€ 63.55
Paperback. Editor(s): McGuinness, B. F.; Oliveri, Gianluigi. Series: Synthese Library. Num Pages: 394 pages, biography. BIC Classification: CFA; HPJ; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 229 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 394
- Condition
- New
- SKU
- V9789048143894
- ISBN
- 9789048143894
Paperback
Condition: New
€ 186.86
€ 186.86
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 248.50
€ 248.50
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
Paperback. Editor(s): Meyer, John-Jules Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 20. Weight in Grams: 972.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 386
- Condition
- New
- SKU
- V9789048159031
- ISBN
- 9789048159031
Paperback
Condition: New
€ 125.62
€ 125.62
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Meyer, John-Jules Ch.; Treur, Jan
Paperback. Editor(s): Meyer, John-Jules Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 479
- Condition
- New
- SKU
- V9789048161096
- ISBN
- 9789048161096
Paperback
Condition: New
€ 240.55
€ 240.55
Paperback. Editor(s): Meyer, Roland; Platzer, Andre; Wehrheim, Heike. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 69 colour illustrations, biography. BIC Classification: PBC; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319235059
- ISBN
- 9783319235059
Paperback
Condition: New
€ 64.06
€ 64.06
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
. Ed(S): Miller, Chris; Rolin, Jean-Philippe;...
Paperback. Editor(s): Miller, Chris; Rolin, Jean-Philippe; Speissegger, Patrick. Series: Fields Institute Communications. Num Pages: 252 pages, biography. BIC Classification: PBC; PBMS; PBWH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781493901029
- ISBN
- 9781493901029
Paperback
Condition: New
€ 143.94
€ 143.94