.png){kind=logo}
Mathematical foundations
Results 481 - 500 of 1148
Mathematical foundations
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. Editor(s): Bahturin, Yuri. Series: Mathematics and its Applications. Num Pages: 241 pages, biography. BIC Classification: PBC; PBF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 414.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 241
- Condition
- New
- SKU
- V9781461379546
- ISBN
- 9781461379546
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback / so. Num Pages: colour illustrations, bibliography. BIC Classification: PBCN; PBK. Category: (G) General (US: Trade). Dimension: 239 x 170 x 46. Weight in Grams: 1293.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 3
- Condition
- New
- SKU
- V9783834807083
- ISBN
- 9783834807083
Paperback
Condition: New
€ 58.65
€ 58.65
Paperback. Num Pages: 132 pages, black & white illustrations, bibliography. BIC Classification: PBCD; PBM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 7. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 132
- Condition
- New
- SKU
- V9783764351717
- ISBN
- 9783764351717
Paperback
Condition: New
€ 48.72
€ 48.72
Hardback. Description based on: v. 4, published first and copyrighted c2001. Editor(s): Brieskorn, Egbert; Hausdorff, Felix; Chatterji, Srishti D. (Ecole Polytechnique Federale); Epple, Moritz; Felgner, Ulrich; Herrlich, Horst; Husek, Mirek; Kanovei, Vladimir; Kopeke, Peter; Preuss, Gerhard. Num Pages: 884 pages, biography. BIC Classification: PBC; PBP; PBX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 48. Weight in Grams: 1502.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 884
- Condition
- New
- SKU
- V9783540422242
- ISBN
- 9783540422242
Hardback
Condition: New
€ 212.15
€ 212.15
Paperback / so. Series: Convergenze. Num Pages: black & white illustrations, bibliography. BIC Classification: JNU; PBCD; YQM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Condition
- New
- SKU
- V9788847007680
- ISBN
- 9788847007680
Paperback
Condition: New
€ 55.91
€ 55.91
Paperback. Gives a terse historical picture of Model Theory and introduces the developments in the area. This book provides proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. It is suitable for trainees and professional model theorists, and mathematicians working in Algebra and Geometry. Series: Trends in Logic. Num Pages: 371 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 371
- Condition
- New
- SKU
- V9781402013317
- ISBN
- 9781402013317
Paperback
Condition: New
€ 154.86
€ 154.86
Paperback. Num Pages: 397 pages, biography. BIC Classification: GB; PBCN; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 1987
- Number of pages
- 397
- Condition
- New
- SKU
- V9781461264576
- ISBN
- 9781461264576
Paperback
Condition: New
€ 195.30
€ 195.30
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Belief change is a field of artificial intelligence and information science dedicated to the dynamics of information. This is a study of addition, deletion and combination of pieces of information, and the revision, updating and fusion of knowledge bases, offering a numerical view of belief change. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792351627
- ISBN
- 9780792351627
Hardback
Condition: New
€ 258.52
€ 258.52
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 259.88
€ 259.88
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 333 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 333
- Condition
- New
- SKU
- V9789048150632
- ISBN
- 9789048150632
Paperback
Condition: New
€ 194.62
€ 194.62
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2001
- Number of pages
- 517
- Condition
- New
- SKU
- V9789048156030
- ISBN
- 9789048156030
Paperback
Condition: New
€ 251.74
€ 251.74
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Meyer, John-Jules Ch.; Treur, Jan
Paperback. Editor(s): Meyer, John-Jules Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 479
- Condition
- New
- SKU
- V9789048161096
- ISBN
- 9789048161096
Paperback
Condition: New
€ 251.37
€ 251.37
Paperback. Editor(s): Rozenberg, Grzegorz; Salomaa, Arto. Num Pages: 528 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 31. Weight in Grams: 837.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 1997
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642082306
- ISBN
- 9783642082306
Paperback
Condition: New
€ 285.07
€ 285.07
Paperback. Num Pages: 245 pages, biography. BIC Classification: PBC; PBW; UMB; UYA; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 245
- Condition
- New
- SKU
- V9781461266198
- ISBN
- 9781461266198
Paperback
Condition: New
€ 66.66
€ 66.66
Hardback. This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory. Num Pages: 245 pages, biography. BIC Classification: PBCD; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 245
- Condition
- New
- SKU
- V9780817642204
- ISBN
- 9780817642204
Hardback
Condition: New
€ 67.79
€ 67.79
Paperback. Editor(s): D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Hahnle, Reiner; Posegga, Joachim. Num Pages: 670 pages, biography. BIC Classification: HPL; PBC; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 160 x 36. Weight in Grams: 958.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 1999
- Condition
- New
- SKU
- V9789048151844
- ISBN
- 9789048151844
Paperback
Condition: New
€ 253.27
€ 253.27
Hardback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBCD; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 43. Weight in Grams: 1208.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642014918
- ISBN
- 9783642014918
Hardback
Condition: New
€ 287.54
€ 287.54
paperback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBC; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 158 x 32. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642260490
- ISBN
- 9783642260490
Paperback
Condition: New
€ 285.74
€ 285.74
Hardback. Series: Springer Biographies. Num Pages: 10 black & white illustrations, biography. BIC Classification: HP; PBC; PDX; TJFM; U. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Condition
- New
- SKU
- V9783319506562
- ISBN
- 9783319506562
Hardback
Condition: New
€ 117.87
€ 117.87