er et teorem beviser bibliotek for J2ME mobiltelefoner. Den støtter resonnement i propositional, første ordre, og beskrivelse logikk og er rettet mot mobile knowledge management eller semantiske web-applikasjoner.
& Middot; Den første reasoner for mobiltelefoner
& Middot; Bruker lite ressurser
& Middot; Grensesnitt for clausal første ordens logikk og beskrivelse...
Explorations med Quad2Go er spesielt egnet for 11-12 år gamle studenter. Undervisning geometri til studenter i denne alderen fokuserer på de kritiske egenskapene til firkanter og på de hierarkiske relasjonene mellom dem. Læring betyr identifisere kritiske egenskaper og ikke-kritiske attributter. For eksempel, & quot; fire sider, & quot; & Quot; to par parallelle sider, & quot; eller & quot; to par like motsatte vinkler & quot; er noen av de viktige egenskapene til et parallellogram; & Quot; to...
QWERTY Convert er et verktøy rettet mot smarttelefoner som kommer med et fullt tastatur. Verktøyet gjør det mulig for enkel oppringing av forfengelighet tall, for eksempel 1800-blomster fra en full ikke-alfanumerisk tastatur, slik som den som finnes på din...
av Girish Padia V 2.00 S60 V5 S ^ 3 Anna Belle J2ME
Dette programmet er nyttig barna som bare lære matematikk tabell 1 til 10 og 11 til 20. Dette vil hjelpe dem til å øve på den. ikke krever...
Denne applikasjonen slå telefonen til en praktisk lomme linjal som kan måle både inches og centimeter.
Egenskaper:
- Elegant design
- Mål i inches og centimeter
- Sliders å måle små gjenstander...
Dette er enkelt vitenskapelig kalkulator som kan utføre grunnleggende regneoperasjon som +, -, *, / og noen trigonometriske funksjon som sin, cos, tan, og løse lineære og kvadratiske ligningen med 2 eller 3...