products/Sources/formale Sprachen/PVS/analysis/pvsbin/   (Openclaw AI Version 22©)  Datei vom 7.10.2014 mit Größe 1 MB image not shown  

Quelle  00007.tst   Sprache: unbekannt

 
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

## field conversion (6)
gap> v := [];;
gap> ConvertToVectorRep(v,3);;
gap> ConvertToVectorRep(v,9);;

[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-06-13]