 | | | | |
Bild | | | | Bestellen |
|
|
|
|
€ 18,68*
pro Stück |
|
|
5th Conference on Automated Deduction (1 Angebot) Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple ... |
Springer Verlag 9783540100096 |
€ 49,99*
pro Stück |
|
|
9th International Conference on Automated Deduction (1 Angebot) This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference comm... |
Springer Verlag 9783540193432 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783662090633 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783662090602 |
€ 49,99*
pro Stück |
|
|
A Course in Commutative Algebra (1 Angebot) This textbook offers a thorough, modern introduction into commutative algebra. It is intented mainly to serve as a guide for a course of one or two semesters, or for self-study. The carefully selec... |
Springer Verlag 9783642035449 |
€ 79,99*
pro Stück |
|
|
|
Springer Verlag 9783540390329 |
€ 64,95*
pro Stück |
|
|
|
Springer Verlag 9783031692123 |
€ 64,99*
pro Stück |
|
|
A General Algebraic Semantics for Sentential Logics (1 Angebot) The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other exist... |
Springer Verlag 9783540616993 |
€ 49,99*
pro Stück |
|
|
A Handbook of Model Categories (1 Angebot) This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies of the proofs. Quillen model categories are a fundamental tool for the und... |
Springer Verlag 9783030750374 |
€ 169,99*
pro Stück |
|
|
|
Springer Verlag 9783319444789 |
€ 159,99*
pro Stück |
|
|
|
Springer Verlag 9783030980900 |
€ 89,99*
pro Stück |
|
|
A Pythagorean Introduction to Number Theory (1 Angebot) Progressing from the fundamentals of number theory through to Gauss sums and quadratic reciprocity, the first part of this text presents an innovative first course in elementary number theory. The ... |
Springer Verlag 9783030026035 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540735410 |
€ 84,99*
pro Stück |
|
|
A.P. Morse's Set Theory and Analysis (1 Angebot) This volume explores A.P. Morse's (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique pers... |
Springer Verlag 9783031053542 |
€ 139,99*
pro Stück |
|
|
