Mathematical foundations
Results 1161 - 1180 of 1201
Mathematical foundations
Hardback. Editor(s): Aguirre, Anthony; Foster, Brendan; Merali, Zeeya. Series: The Frontiers Collection. Num Pages: 10 black & white illustrations, biography. BIC Classification: PBC; PBWH; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319274942
- ISBN
- 9783319274942
Hardback
Condition: New
€ 101.96
€ 101.96
Hardback. Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Series: Trends in Logic. Num Pages: 250 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 545.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400709065
- ISBN
- 9789400709065
Hardback
Condition: New
€ 123.28
€ 123.28
Paperback / so. Series: Trends in Logic. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 372.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9789400737341
- ISBN
- 9789400737341
Paperback
Condition: New
€ 122.39
€ 122.39
Paperback. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 470
- Condition
- New
- SKU
- V9789048151059
- ISBN
- 9789048151059
Paperback
Condition: New
€ 219.31
€ 219.31
Hardback. Looks at the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. This work is focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also explored. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792340058
- ISBN
- 9780792340058
Hardback
Condition: New
€ 127.16
€ 127.16
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.31
€ 102.31
Hardcover. Turing's Revolution Editor(s): Sommaruga, Giovanni; Strahm, Thomas. Num Pages: 353 pages, 17 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319221557
- ISBN
- 9783319221557
Hardback
Condition: New
€ 145.19
€ 145.19
Hardback. Series: Publications of the Mathematical Society of Japan. Num Pages: 148 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 10. Weight in Grams: 371.
- Format
- Hardback
- Publication date
- 2020
- Publisher
- Princeton University Press United States
- Number of pages
- 148
- Condition
- New
- SKU
- V9780691638379
- ISBN
- 9780691638379
Hardback
Condition: New
€ 103.40
€ 103.40
Hardback. Series: Atlantis Studies in Computing. Num Pages: 214 pages, 65 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBCD; UM; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 214
- Condition
- New
- SKU
- V9789462392038
- ISBN
- 9789462392038
Hardback
Condition: New
€ 121.61
€ 121.61
Hardback. Describes methods for building intelligent systems using type-2 fuzzy logic and soft computing (SC) techniques. This title extends the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Series: Studies in Fuzziness and Soft Computing. Num Pages: 244 pages, 188 black & white illustrations, 29 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540762836
- ISBN
- 9783540762836
Hardback
Condition: New
€ 127.09
€ 127.09
Paperback. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540419600
- ISBN
- 9783540419600
Paperback
Condition: New
€ 65.90
€ 65.90
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 410 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540732273
- ISBN
- 9783540732273
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Editor(s): Hasegawa, Masahito. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 18 black & white illustrations, biography. BIC Classification: PBCD; UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642389450
- ISBN
- 9783642389450
Paperback
Condition: New
€ 82.17
€ 82.17
paperback. Constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Editor(s): Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: PBC; UMA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216909
- ISBN
- 9783642216909
Paperback
Condition: New
€ 63.85
€ 63.85
paperback. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer Germany
- Edition
- 2003rd Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540403326
- ISBN
- 9783540403326
Paperback
Condition: New
€ 64.78
€ 64.78
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.80
€ 66.80
Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statist...
. Ed(S): Ayyub, Bilal M.; Gupta, Madan M.
paperback. Editor(s): Ayyub, Bilal M.; Gupta, Madan M. Series: International Series in Intelligent Technologies. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBKA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 371
- Condition
- New
- SKU
- V9781461375005
- ISBN
- 9781461375005
Paperback
Condition: New
€ 243.20
€ 243.20
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1999
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790824643
- ISBN
- 9783790824643
Paperback
Condition: New
€ 121.67
€ 121.67
hardcover. This work presents an overview of the development of basic ideas and mathematical results regarding measures/principles of uncertainty-based information within the framework of classical set theory, probability theory, fuzzy set theory, possibility theory and the Dempster-Shafer theory of evidence. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790812428
- ISBN
- 9783790812428
Hardback
Condition: New
€ 126.07
€ 126.07
Paperback. This book features a collection of papers from Paul Hertz to Dov Gabbay -- through Tarski, Godel, Kripke -- that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence. Editor(s): Beziau, Jean-Yves (University of Neuchatel). Series: Studies in Universal Logic. Num Pages: 428 pages, 155 black & white illustrations, biography. BIC Classification: HPL; PBC; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 169 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2012th Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9783034601443
- ISBN
- 9783034601443
Paperback
Condition: New
€ 66.02
€ 66.02