- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832533038
3832533036
- Maße
-
21 cm
- Umfang
-
VI, 121 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Compact companion ; 3
- Schlagwort
-
Beweistheorie
Beweistheorie
Beweistheorie (Mathematik)
Beweistheorie
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
17.01.20256025, 23:56 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Jervell, Herman Ruge
- Logos-Verl.
Entstanden
- 2012
Ähnliche Objekte (12)
Improving proof search in intuitionistic propositional logic
Painlevé equations in surface theory
Axiomatic systems in concurrency theory
A theory of aspect orientation
Variational perturbation theory and its applications
Regularization in Banach spaces - convergence rates theory
Theory for optically created nonequilibrium in covalent solids
Integral methods for quadratic programming : theory and implementation
Classification and structure theory of Lie algebras of smooth sections
Relativistic electronic transport theory : the spin Hall effect and related phenomena
Proceedings of software engineering and quality assurance, 1
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Improving proof search in intuitionistic propositional logic
Painlevé equations in surface theory
Axiomatic systems in concurrency theory
A theory of aspect orientation
Variational perturbation theory and its applications
Regularization in Banach spaces - convergence rates theory
Theory for optically created nonequilibrium in covalent solids
Integral methods for quadratic programming : theory and implementation
Classification and structure theory of Lie algebras of smooth sections
Relativistic electronic transport theory : the spin Hall effect and related phenomena
Proceedings of software engineering and quality assurance, 1
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Improving proof search in intuitionistic propositional logic
Painlevé equations in surface theory
Axiomatic systems in concurrency theory
A theory of aspect orientation
Variational perturbation theory and its applications
Regularization in Banach spaces - convergence rates theory
Theory for optically created nonequilibrium in covalent solids
Integral methods for quadratic programming : theory and implementation
Classification and structure theory of Lie algebras of smooth sections
Relativistic electronic transport theory : the spin Hall effect and related phenomena
Proceedings of software engineering and quality assurance, 1