| products/sources/formale Sprachen/Coq/theories/Classes/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: fundamental_theorem.prf Sprache: Unknown
|
Spracherkennung für: .mlpack vermutete Sprache: C {C[16] Abap[254] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Utile Polynom Ideal Nsatz G_nsatz [ Normaldarstellung0.47Diashow ] |