| products/Sources/formale Sprachen/VDM/VDMPP/POP3PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 994 B |
|
Impressum vectors_2D_rew.prf Sprache: Lisp |
|||||||||
|
(|vectors_2D_rew| (|vr0x| "" (GRIND) NIL NIL) (|vr0y| "" (GRIND) NIL NIL)
(|vr0z| "" (GRIND) NIL NIL) (|vr1x| "" (GRIND) NIL NIL) (|vr1y| "" (GRIND) NIL NIL) (|vr1z| "" (GRIND) NIL NIL) (|vr2| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr3| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr4| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr5| "" (GRIND) NIL NIL) (|vr6| "" (GRIND) NIL NIL) (|vr7| "" (GRIND) NIL NIL) (|vr8| "" (GRIND) NIL NIL) (|vr9| "" (GRIND) NIL NIL) (|vr10| "" (GRIND) NIL NIL) (|vr11| "" (GRIND) NIL NIL) (|vr12| "" (GRIND) NIL NIL) (|vr13| "" (GRIND) NIL NIL) (|vr14| "" (GRIND) NIL NIL) (|vr15| "" (GRIND) NIL NIL) (|vr16| "" (GRIND) (("" (REWRITE "sqrt_0") NIL NIL)) NIL) (|vr17| "" (GRIND) NIL NIL) (|vr18| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr19| "" (GRIND) NIL NIL) (|vr20| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr21| "" (GRIND) NIL NIL) (|vr24| "" (GRIND) (("" (APPLY-EXTENSIONALITY :HIDE? T) NIL NIL)) NIL) (|vr25| "" (GRIND) NIL NIL) (|vr26| "" (GRIND) NIL NIL) (|vr27| "" (GRIND) NIL NIL) (|vr28| "" (GRIND) NIL NIL) (|vr29| "" (GRIND) NIL NIL)) ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
