.png){kind=logo}
Mathematical foundations
Results 1081 - 1100 of 1149
Mathematical foundations
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
€ 127.78
€ 127.78
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
€ 132.43
€ 132.43
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
€ 127.76
€ 127.76
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
€ 49.02
€ 49.02
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
€ 68.03
€ 68.03
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
€ 72.25
€ 72.25
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
€ 171.87
€ 171.87
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
€ 163.47
€ 163.47
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
€ 68.44
€ 68.44
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
€ 67.41
€ 67.41
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
€ 130.34
€ 130.34
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
€ 160.72
€ 160.72
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
€ 72.46
€ 72.46
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
€ 194.26
€ 194.26
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
€ 200.14
€ 200.14
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
€ 206.97
€ 206.97
Hardback. In opposition to the classical set theory of natural language, this monograph offers a theory based on alternative and fuzzy sets. This approach is grounded in semantics and pragmatics, and accounts for the vagueness inherent in natural language. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 204 pages, biography. BIC Classification: CF; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 1090.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 204
- Condition
- New
- SKU
- V9780306442698
- ISBN
- 9780306442698
Hardback
Condition: New
€ 131.93
€ 131.93
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
€ 138.34
€ 138.34
Hardcover. Contains translations of papers on propositional satisfiability and related logical problems which appeared in ""Problemy Sokrashcheniya Perebora"", published in Russian in 1987. Editor(s): Kreinovich, Vladik; Mints, G. Series: American Mathematical Society Translations: Series 2. Num Pages: 190 pages, Illustrations. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230. Weight in Grams: 567.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821803868
- ISBN
- 9780821803868
Hardback
Condition: New
€ 200.66
€ 200.66
Paperback. This is a fully revised and updated second edition of the introduction to structured and unstructured grid methods in scientific computing. It formulates basic local and integral grid quality measures and reviews fresh approaches to mesh generation. Series: Scientific Computation. Num Pages: 408 pages, 48 black & white illustrations, biography. BIC Classification: PBCN; PHU; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Number of pages
- 408
- Condition
- New
- SKU
- V9789400730786
- ISBN
- 9789400730786
Paperback
Condition: New
€ 150.98
€ 150.98