Mathematical foundations
Results 521 - 540 of 1202
Mathematical foundations
Paperback. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- 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
- 368
- Condition
- New
- SKU
- V9783642622489
- ISBN
- 9783642622489
Paperback
Condition: New
€ 124.75
€ 124.75
Paperback. This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals. Series: Cognitive Technologies. Num Pages: 305 pages, 26 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642261879
- ISBN
- 9783642261879
Paperback
Condition: New
€ 188.72
€ 188.72
Logical Thinking in the Pyramidal Schema of Concepts: the Logical and ...
Geldsetzer, Lutz; Schwartz, Richard L.
Paperback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 184 pages, black & white illustrations, bibliography. BIC Classification: HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 184
- Condition
- New
- SKU
- V9789401784443
- ISBN
- 9789401784443
Paperback
Condition: New
€ 143.87
€ 143.87
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 143.70
€ 143.70
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
. Ed(S): Andreas, Holger; Verdee, Peter
Hardback. Editor(s): Andreas, Holger; Verdee, Peter. Series: Trends in Logic. Num Pages: 221 pages, 5 black & white illustrations, biography. BIC Classification: HPL; PBC. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 508.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 221
- Condition
- New
- SKU
- V9783319402185
- ISBN
- 9783319402185
Hardback
Condition: New
€ 64.83
€ 64.83
Logical Structures for Representation of Knowledge and Uncertainty
Hisdal, Ellen (University Of Oslo, Norway)
Hardback. This text describes a new truth table logic with built-in probabilities. The IF THEN statement is interpreted as the specification of the value of a conditional probability. It includes exercises and solutions to difficult exercises. Series: Studies in Fuzziness and Soft Computing. Num Pages: 420 pages, biography. BIC Classification: PBCD; PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783790810561
- ISBN
- 9783790810561
Hardback
Condition: New
€ 131.50
€ 131.50
Logical Structures for Representation of Knowledge and Uncertainty
Hisdal, Ellen (University Of Oslo, Norway)
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 420 pages, biography. BIC Classification: PBCD; PBCH; PBWX. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 22. Weight in Grams: 1097.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 420
- Condition
- New
- SKU
- V9783790824582
- ISBN
- 9783790824582
Paperback
Condition: New
€ 126.70
€ 126.70
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 195.14
€ 195.14
Hardback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 695 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBCD; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 32. Weight in Grams: 1132.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 703
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319001180
- ISBN
- 9783319001180
Hardback
Condition: New
€ 226.16
€ 226.16
Paperback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 709 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBC; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 709
- Condition
- New
- SKU
- V9783319342689
- ISBN
- 9783319342689
Paperback
Condition: New
€ 222.16
€ 222.16
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 49 black & white illustrations, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642357213
- ISBN
- 9783642357213
Paperback
Condition: New
€ 65.45
€ 65.45
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the author's intensive study of Godel's papers and surviving correspondence, the author examines the life of this driven man. Num Pages: 376 pages, black & white halftones, frontispiece. BIC Classification: BGT; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 153 x 27. Weight in Grams: 552.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 376
- Condition
- New
- SKU
- V9781568812564
- ISBN
- 9781568812564
Paperback
Condition: New
€ 58.21
€ 58.21
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT / ...
Abrusci, Vito Michele, Tortora de Falco, Lore...
Paperback.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9788847055377
- ISBN
- 9788847055377
Paperback
Condition: New
€ 48.76
€ 48.76
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 64.78
€ 64.78
Paperback. Editor(s): Albert, Elvira. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 245 pages, 36 black & white illustrations, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642381966
- ISBN
- 9783642381966
Paperback
Condition: New
€ 82.95
€ 82.95
Paperback. Editor(s): Hoek, Wiebe van der; Holliday, Wesley; Wang, Wen-Fang. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 31 colour illustrations, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783662485606
- ISBN
- 9783662485606
Paperback
Condition: New
€ 65.89
€ 65.89
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 65.65
€ 65.65
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 66.26
€ 66.26
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642048920
- ISBN
- 9783642048920
Paperback
Condition: New
€ 65.33
€ 65.33