Mathematical foundations
Results 21 - 40 of 268
Mathematical foundations
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 137.03
€ 137.03
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 133.28
€ 133.28
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 69.51
€ 69.51
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 70.41
€ 70.41
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
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 135.41
€ 135.41
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Hardback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieter. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359586
- ISBN
- 9780792359586
Hardback
Condition: New
€ 258.33
€ 258.33
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Paperback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieterc. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 23. Weight in Grams: 1430.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359593
- ISBN
- 9780792359593
Paperback
Condition: New
€ 255.81
€ 255.81
The Law of Non-contradiction. New Philosophical Essays.
. Ed(S): Priest, Graham; Beall, J.C.; Armour-...
Paperback. Investigates the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. This volume presents a debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law. Editor(s): Priest, Graham; Beall, J.C.; Armour-Garb, Bradley. Num Pages: 400 pages, black & white illustrations. BIC Classification: CFA; HPK; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 232 x 160 x 24. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9780199204199
- ISBN
- 9780199204199
Paperback
Condition: New
€ 90.36
€ 90.36
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
Finite and Infinite Combinatorics in Sets and Logic
. Ed(S): Sauer, Norbert W.; Woodrow, Robert E...
Hardback. Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991 Editor(s): Sauer, Norbert W.; Woodrow, Robert E.; Sands, B. Series: NATO Science Series C. Num Pages: 470 pages, biography. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792324225
- ISBN
- 9780792324225
Hardback
Condition: New
€ 380.27
€ 380.27
Reuniting the Antipodes - Constructive and Nonstandard Views of the Co...
. Ed(S): Schuster, P.; Berger, Ulrich; Osswal...
Hardback. Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 Editor(s): Schuster, P.; Berger, Ulrich; Osswald, Horst. Series: Synthese Library. Num Pages: 329 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 329
- Condition
- New
- SKU
- V9781402001529
- ISBN
- 9781402001529
Hardback
Condition: New
€ 200.81
€ 200.81
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 415
- Condition
- New
- SKU
- V9781402006081
- ISBN
- 9781402006081
Paperback
Condition: New
€ 72.69
€ 72.69
Hardback. In the period between the two World Wars, Stanislaw Lesniewski, the Polish logician, created his system of the foundations of mathematics, a system comprising three deductive theories: protothetic, ontology, and mereology. This volume is a collection of the major contributions to protothetic. Editor(s): Srzednicki, Jan T.J.; Stachniak, Zbigniew. Series: Nijhoff International Philosophy Series. Num Pages: 326 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9780792345046
- ISBN
- 9780792345046
Hardback
Condition: New
€ 255.76
€ 255.76
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 71.63
€ 71.63
Paperback. Num Pages: colour illustrations, figures, bibliography. BIC Classification: PBCN; PBF; PBK; PBW; UY. Category: (G) General (US: Trade). Dimension: 237 x 164 x 18. Weight in Grams: 708.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 5ème éd. 2010
- Condition
- New
- SKU
- V9788847016750
- ISBN
- 9788847016750
Paperback
Condition: New
€ 62.23
€ 62.23
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
Hardcover. 'Oxford Logic Guide provides comprehensive coverage of a new research area in algebra and model theory. Model theoretical and group theoretical notions are explained in detail, and almost all the known results in the area are included. Aimed at the needs of the graduate student, there are many exercises (with hints) and carefully chosen examples. Series: Oxford Logic Guides. Num Pages: 426 pages, bibliography. BIC Classification: PBCD; PBG. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 28. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 426
- Condition
- New
- Edition
- Illustrated
- SKU
- V9780198534457
- ISBN
- 9780198534457
Hardback
Condition: New
€ 259.71
€ 259.71
Paperback. Series: Dover Books on Mathematics. Num Pages: 272 pages. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 214 x 136 x 13. Weight in Grams: 287.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9780486284620
- ISBN
- 9780486284620
Paperback
Condition: New
€ 16.99€ 16.81
€ 16.99
€ 16.81
Hardback. Editor(s): Hines, Allen. Num Pages: 115 pages. BIC Classification: PBCD; PBCH; PBF. Category: (P) Professional & Vocational. Dimension: 166 x 241 x 15. Weight in Grams: 370.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Nova Science Publishers Inc
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634830232
- ISBN
- 9781634830232
Hardback
Condition: New
€ 188.42€ 143.31
€ 188.42
€ 143.31