|
(vect3_metric_space
(IMP_metric_spaces_TCC1 0
(IMP_metric_spaces_TCC1-1 nil 3462097127
("" (expand "metric_space?")
(("" (prop)
(("1" (expand "space_zero?")
(("1" (skosimp*)
(("1" (lemma "dist_eq_0")
(("1" (inst - "x!1" "y!1") nil nil)) nil))
nil))
nil)
("2" (expand "space_symmetric?")
(("2" (skosimp*)
(("2" (lemma "dist_sym") (("2" (inst - "x!1" "y!1") nil nil))
nil))
nil))
nil)
("3" (expand "space_triangle?")
(("3" (skosimp*)
(("3" (lemma "dist_triangle")
(("3" (inst - "x!1" "y!1" "z!1") nil nil)) nil))
nil))
nil))
nil))
nil)
((real nonempty-type-from-decl nil reals nil)
(Vect3 type-eq-decl nil vectors_3D_def "vectors/")
(boolean nonempty-type-decl nil booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(set type-eq-decl nil sets nil) (fullset const-decl "set" sets nil)
(dist_eq_0 formula-decl nil distance_3D "vectors/")
(space_zero? const-decl "bool" metric_spaces_def "analysis/")
(dist_sym formula-decl nil distance_3D "vectors/")
(space_symmetric? const-decl "bool" metric_spaces_def "analysis/")
(dist_triangle formula-decl nil distance_3D "vectors/")
(space_triangle? const-decl "bool" metric_spaces_def "analysis/")
(metric_space? const-decl "bool" metric_spaces_def "analysis/"))
nil))
(vect3_subset_metric_space 0
(vect3_subset_metric_space-1 nil 3462097393
("" (skosimp*)
(("" (expand "metric_space?")
(("" (prop)
(("1" (expand "space_zero?")
(("1" (skosimp*)
(("1" (lemma "dist_eq_0")
(("1" (inst - "x!1" "y!1") nil nil)) nil))
nil))
nil)
("2" (expand "space_symmetric?")
(("2" (skosimp*)
(("2" (lemma "dist_sym")
(("2" (inst - "x!1" "y!1") nil nil)) nil))
nil))
nil)
("3" (expand "space_triangle?")
(("3" (skosimp*)
(("3" (lemma "dist_triangle")
(("3" (inst - "x!1" "y!1" "z!1") nil nil)) nil))
nil))
nil))
nil))
nil))
nil)
((metric_space? const-decl "bool" metric_spaces_def "analysis/")
(space_triangle? const-decl "bool" metric_spaces_def "analysis/")
(dist_triangle formula-decl nil distance_3D "vectors/")
(space_symmetric? const-decl "bool" metric_spaces_def "analysis/")
(dist_sym formula-decl nil distance_3D "vectors/")
(space_zero? const-decl "bool" metric_spaces_def "analysis/")
(dist_eq_0 formula-decl nil distance_3D "vectors/")
(set type-eq-decl nil sets nil)
(bool nonempty-type-eq-decl nil booleans nil)
(boolean nonempty-type-decl nil booleans nil)
(Vect3 type-eq-decl nil vectors_3D_def "vectors/")
(real nonempty-type-from-decl nil reals nil))
nil))
(vect3_metric_space 0
(vect3_metric_space-1 nil 3462097419
("" (lemma "vect3_subset_metric_space")
(("" (inst - "fullset[Vect3]") nil nil)) nil)
((real nonempty-type-from-decl nil reals nil)
(Vect3 type-eq-decl nil vectors_3D_def "vectors/")
(boolean nonempty-type-decl nil booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(set type-eq-decl nil sets nil) (fullset const-decl "set" sets nil)
(vect3_subset_metric_space formula-decl nil vect3_metric_space
nil))
shostak)))
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.19Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
