Mathematical foundations
Results 261 - 268 of 268
Mathematical foundations
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
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
€ 259.06
€ 259.06
Paperback. Alan Turing Num Pages: 36 pages, 60 colour illustrations. BIC Classification: 3JJH; BGH; HBWQ; PBCD. Category: (G) General (US: Trade). Dimension: 173 x 240 x 12. Weight in Grams: 132.
- Publisher
- Pitkin Publishing
- Format
- Paperback
- Publication date
- 2017
- Condition
- New
- SKU
- V9781841657561
- ISBN
- 9781841657561
Paperback
Condition: New
€ 8.99€ 8.12
€ 8.99
€ 8.12
Paperback. Editor(s): Appel, Andrew W. Num Pages: 160 pages, illustrations. BIC Classification: PBCD; PBX; UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 178 x 253 x 11. Weight in Grams: 302.
- Publisher
- Princeton University Press
- Format
- Paperback
- Publication date
- 2014
- Edition
- Reprint
- Condition
- New
- SKU
- V9780691164731
- ISBN
- 9780691164731
Paperback
Condition: New
€ 17.99€ 14.37
€ 17.99
€ 14.37
Hardback.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Princeton University Press
- Edition
- 0th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9780691155746
- ISBN
- 9780691155746
Hardback
Condition: New
€ 46.99€ 33.45
€ 46.99
€ 33.45
Hardcover. Editor(s): McFarland, Andrew; McFarland, Joanna; Smith, James. Num Pages: 524 pages, 116 black & white illustrations, 10 colour illustrations, biography. BIC Classification: JNU; PBC; PBM; PBX. Category: (P) Professional & Vocational. Dimension: 260 x 184 x 26. Weight in Grams: 1084.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9781493914739
- ISBN
- 9781493914739
Hardback
Condition: New
€ 132.14
€ 132.14
paperback. Num Pages: 524 pages, 116 black & white illustrations, 10 colour illustrations, biography. BIC Classification: JNU; PBC; PBM; PBX. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 27. Weight in Grams: 986.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhäuser United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 524
- Condition
- New
- SKU
- V9781493951178
- ISBN
- 9781493951178
Paperback
Condition: New
€ 130.70
€ 130.70
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.87
€ 134.87
Hardcover. This pragmatic book provides a detailed overview of prominent procedures of algorithmic composition. In addition to an historic overview, each chapter presents a specific class of algorithm in a compositional context. Num Pages: 287 pages, 20 black & white tables, biography. BIC Classification: AV; PBC; PBKS; PBW; UY. Category: (P) Professional & Vocational. Dimension: 237 x 160 x 24. Weight in Grams: 580.
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 300
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783211755396
- ISBN
- 9783211755396
Hardback
Condition: New
€ 185.66
€ 185.66
Hardback. Num Pages: 256 pages, 47 color illus. 4 line illus. 2 tables. BIC Classification: PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 165 x 243 x 20. Weight in Grams: 656.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780691163062
- ISBN
- 9780691163062
Hardback
Condition: New
€ 88.33€ 68.86
€ 88.33
€ 68.86
Paperback. This text introduces error analysis through simple and familiar examples from carpentry and well-known historic experiments where an understanding of errors was crucial to the success of the experiment. It is designed as a reference for students in the physical sciences and engineering. Num Pages: 448 pages, Illustrations. BIC Classification: PBC; PH. Category: (UU) Undergraduate. Dimension: 253 x 176 x 18. Weight in Grams: 620.
- Publisher
- University Science Books
- Number of pages
- 448
- Format
- Paperback
- Publication date
- 1996
- Edition
- 2nd
- Condition
- New
- SKU
- V9780935702750
- ISBN
- 9780935702750
Paperback
Condition: New
€ 70.03
€ 70.03
Paperback. Num Pages: 434 pages. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 181 x 231 x 22. Weight in Grams: 666.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Broadview Press
- Number of pages
- 450
- Condition
- New
- SKU
- V9781551119939
- ISBN
- 9781551119939
Paperback
Condition: New
€ 53.99€ 48.82
€ 53.99
€ 48.82
Paperback. The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics. Num Pages: 361 pages, illustrations. BIC Classification: PBC. Category: (U) Tertiary Education (US: College). Dimension: 227 x 152 x 18. Weight in Grams: 520. Numbers, Sets and Functions. 362 pages, illustrations. The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics. Cateogry: (U) Tertiary Education (US: College). BIC Classification: PBC. Dimension: 227 x 152 x 18. Weight: 530.
- Publisher
- Cambridge University Press
- Number of pages
- 362
- Format
- Paperback
- Publication date
- 1997
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521597180
- ISBN
- 9780521597180
Paperback
Condition: New
€ 47.75
€ 47.75
Paperback. This book clearly introduces the major topics in logic and their relation to current philosophical issues. Series: Cambridge Introductions to Philosophy. Num Pages: 643 pages, black & white illustrations. BIC Classification: HPCF5; HPL; PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 174 x 29. Weight in Grams: 1126. From If to is. Series: Cambridge Introductions to Philosophy. 648 pages, illustrations. This 2008 book clearly introduces the major topics in logic and their relation to current philosophical issues. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: HPCF5; HPL; PBCD. Dimension: 244 x 174 x 29. Weight: 1110.
- Publisher
- Cambridge University Press
- Number of pages
- 641
- Format
- Paperback
- Publication date
- 2008
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521670265
- ISBN
- 9780521670265
Paperback
Condition: New
€ 49.02
€ 49.02
Paperback. Series: Princeton Legacy Library. Num Pages: 206 pages, black & white illustrations. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 11. Weight in Grams: 28.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Princeton University Press United States
- Number of pages
- 206
- Condition
- New
- SKU
- V9780691626116
- ISBN
- 9780691626116
Paperback
Condition: New
€ 46.99€ 33.73
€ 46.99
€ 33.73
Hardback. Comprehensively describes the deeper mathematical aspects of fuzzy sets, particularly those aspects which are category-theoretic in nature. Divided into four parts, this book contains bibliography, indices, and long chapters, which make it suitable as a text for advanced graduate students. Editor(s): Rodabaugh, Stephen Ernest; Klement, Erich Peter; Hohle, Ulrich. Series: Theory and Decision Library B. Num Pages: 398 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 398
- Condition
- New
- SKU
- V9780792315117
- ISBN
- 9780792315117
Hardback
Condition: New
€ 257.40
€ 257.40
Paperback. Written for engineering students, this textbook on numerical methods stresses the typical methods that engineers use in daily practice. A chapter on design introduces problems which bring relevance to the use of this tool in engineering situations. Num Pages: 410 pages, bibliography, index. BIC Classification: PBC; PDE; TBJ. Category: (UU) Undergraduate. Dimension: 238 x 191 x 24. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471575238
- ISBN
- 9780471575238
Paperback
Condition: New
€ 284.68
€ 284.68
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
€ 259.27
€ 259.27
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
€ 258.12
€ 258.12
Paperback. .
- Publisher
- American Mathematical Society United States
- Format
- Paperback
- Publication date
- 1984
- Condition
- New
- SKU
- V9780821850275
- ISBN
- 9780821850275
Paperback
Condition: New
€ 173.29
€ 173.29