Mathematical foundations
Results 1129 - 1129 of 1129
Mathematical foundations
Hardcover. Num Pages: 224 pages. BIC Classification: PBCD; UYM. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119193180
- ISBN
- 9781119193180
Hardback
Condition: New
€ 128.63
€ 128.63
Hardcover. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 365
- Condition
- New
- SKU
- V9780471570356
- ISBN
- 9780471570356
Hardback
Condition: New
€ 205.35
€ 205.35
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 191.84
€ 191.84
Paperback. Num Pages: 292 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 292
- Condition
- New
- SKU
- V9781441949622
- ISBN
- 9781441949622
Paperback
Condition: New
€ 185.89
€ 185.89
Paperback. Num Pages: 129 pages, XVI, 129 S. 66 Abb. BIC Classification: PBCH; PBT. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 129
- Condition
- New
- SKU
- V9783211238776
- ISBN
- 9783211238776
Paperback
Condition: New
€ 69.23
€ 69.23
Paperback. This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. Editor(s): De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 295
- Condition
- New
- SKU
- V9789402406870
- ISBN
- 9789402406870
Paperback
Condition: New
€ 153.14
€ 153.14
Paperback. The first English edition of a well-known Russian monograph. This book presents the method of difference potentials first proposed by the author in 1969, and contains illustrative examples and new algorithms for solving applied problems of gas dynamics, diffraction, scattering theory, and active noise screening. Translator(s): Kulman, N.K. Series: Springer Series in Computational Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCN; PBK; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642627156
- ISBN
- 9783642627156
Paperback
Condition: New
€ 124.42
€ 124.42
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Paperback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642269592
- ISBN
- 9783642269592
Paperback
Condition: New
€ 64.74
€ 64.74
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Hardback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642227165
- ISBN
- 9783642227165
Hardback
Condition: New
€ 65.72
€ 65.72
Paperback. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642096273
- ISBN
- 9783642096273
Paperback
Condition: New
€ 156.79
€ 156.79
Hardback. Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. This book covers the necessary logical machinery behind the proof interpretations that are used in applications as well as - via extended case studies - carrying out some of these applications in detail. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 164 x 36. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540775324
- ISBN
- 9783540775324
Hardback
Condition: New
€ 163.75
€ 163.75
Paperback / so. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; TBC; UMX; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211834879
- ISBN
- 9783211834879
Paperback
Condition: New
€ 69.03
€ 69.03
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 403 pages, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 403
- Condition
- New
- SKU
- V9783642023477
- ISBN
- 9783642023477
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback. .
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 182
- Format
- Paperback
- Publication date
- 2005
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568812380
- ISBN
- 9781568812380
Paperback
Condition: New
€ 48.52
€ 48.52
Paperback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400734357
- ISBN
- 9789400734357
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 339 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400700017
- ISBN
- 9789400700017
Hardback
Condition: New
€ 126.25
€ 126.25
Paperback. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: HPK; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 220
- Condition
- New
- SKU
- V9789048151875
- ISBN
- 9789048151875
Paperback
Condition: New
€ 121.80
€ 121.80
hardcover. Examines the philosophical foundations of intuitionism since Oscar Becker's (1927) "Mathematische Existenz". This book examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. It examines centres on the questions of the intersubjectivity of mathematics. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 14. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792356301
- ISBN
- 9780792356301
Hardback
Condition: New
€ 126.57
€ 126.57
Hardback. .
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 250
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107044241
- ISBN
- 9781107044241
Hardback
Condition: New
€ 66.00
€ 66.00
Hardback. A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Num Pages: 394 pages, biography. BIC Classification: PBCD; TJFC. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9780792398929
- ISBN
- 9780792398929
Hardback
Condition: New
€ 130.07
€ 130.07
Paperback. Series: Progress in Theoretical Computer Science. Num Pages: 299 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 299
- Condition
- New
- SKU
- V9781461267577
- ISBN
- 9781461267577
Paperback
Condition: New
€ 111.95
€ 111.95
Paperback. Num Pages: 454 pages, 138 black & white illustrations, 1 colour illustrations, 52 black & white tables, biograp. BIC Classification: PBC; PBH; PBX. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 23. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 454
- Condition
- New
- SKU
- V9781493953417
- ISBN
- 9781493953417
Paperback
Condition: New
€ 78.45
€ 78.45
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Condition
- New
- SKU
- V9783642078996
- ISBN
- 9783642078996
Paperback
Condition: New
€ 241.72
€ 241.72
Hardcover. Suitable for set theorists, this book covers major advances in various areas of set theory. Series: Springer Monographs in Mathematics. Num Pages: 786 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 168 x 50. Weight in Grams: 1288.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540440857
- ISBN
- 9783540440857
Hardback
Condition: New
€ 243.44
€ 243.44