- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540582441
3540582444
9780387582443
0387582444
- Dimensions
-
24 cm
- Extent
-
XVII, 321 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 301 - 304
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 828
- Keyword
-
Isabelle
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1994
- Creator
-
Paulson, Lawrence C.
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:29 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Paulson, Lawrence C.
- Springer
Time of origin
- 1994
Other Objects (12)
Generic programming : advanced lectures
Information algebras : generic structures for inference
Generic regularity of differentiated product oligopolies
Generic programming : selected papers
Nonlinear process control : application of generic model control
Map color theorem
Tauberian remainder theorems
The spectral theorem
Generic local structure of the morphisms in commutative algebra
Delta-4 : a generic architecture for dependable distributed computing
Lectures on Choquet's theorem
On global univalence theorems
Generic programming : advanced lectures
Information algebras : generic structures for inference
Generic regularity of differentiated product oligopolies
Generic programming : selected papers
Nonlinear process control : application of generic model control
Map color theorem
Tauberian remainder theorems
The spectral theorem
Generic local structure of the morphisms in commutative algebra
Delta-4 : a generic architecture for dependable distributed computing
Lectures on Choquet's theorem
On global univalence theorems
Generic programming : advanced lectures
Information algebras : generic structures for inference
Generic regularity of differentiated product oligopolies
Generic programming : selected papers
Nonlinear process control : application of generic model control
Map color theorem
Tauberian remainder theorems
The spectral theorem
Generic local structure of the morphisms in commutative algebra
Delta-4 : a generic architecture for dependable distributed computing
Lectures on Choquet's theorem