(order_strength
(stronger_reflexive 0
(stronger_reflexive-1 nil 3314716647 ("" (grind) nil nil)
((T formal-type-decl nil order_strength nil)
(member const-decl "bool" sets nil)
(subset? const-decl "bool" sets nil)
(reflexive? const-decl "bool" relations nil))
shostak))
(weaker_irreflexive 0
(weaker_irreflexive-1 nil 3314716652 ("" (grind) nil nil)
((T formal-type-decl nil order_strength nil)
(member const-decl "bool" sets nil)
(subset? const-decl "bool" sets nil)
(irreflexive? const-decl "bool" relations nil))
shostak))
(weaker_antisymmetric 0
(weaker_antisymmetric-1 nil 3314716655
("" (grind :if-match all) nil nil)
((T formal-type-decl nil order_strength nil)
(member const-decl "bool" sets nil)
(subset? const-decl "bool" sets nil)
(antisymmetric? const-decl "bool" relations nil))
shostak)))
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.2Angebot
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
|