Free Java Pocket KrHyper App Download

  Free Java Pocket KrHyper App Download
Sponsored Links:
Report an error, suggest partnership...
     
Search By Device
My Device

  
Tags
VoIP  TV & Streaming Video  Instant Messengers & Chats  Arcade  Audio  SMS & MMS & EMS  Racing  Browsers  Puzzle & Logic  Simulations  Maps  Action & Shooting  GPS  Social Networks & Blogs  Audio Players  Graphic Editors  Religion  Antivirus  English & American  Sport  Video Players 
Search by Category
Business & Profession
Databases
Dictionary & Translator
Entertainment
Finance
Games
Healthcare & Medicine
Internet & Communications
Multimedia & Graphics
Organisation & Productivity
Programming & Development
Reading
Science & Education
System Utilities
Themes & Wallpapers & Skins
Travel & Navigation
     




 
 
Pocket KrHyper

Sponsored Links:

Pocket KrHyper
Version: 0.9.3
Platforms: Java

Categories: Science & Education
Upload Date: 20 Jun 11
Developer: Thomas Kleemann, Alex Sinner
Distribution Type: Freeware
Downloads: 224
File Size: 75 Kb
Free Download Pocket KrHyper 

Rating: 2.5/5 (Total Votes: 6)


Sponsored Links:
 


Pocket KrHyper is a theorem proving library for J2ME mobile phones. It supports reasoning in propositional, first order, and description logic and is aimed at mobile knowledge management or semantic web applications.
· The first reasoner for mobile phones
· Uses little resources
· Interfaces for clausal first order logic and description logic

 
Like it? Share with your friends!   
Requirements: MIDP 2.0, CLDC 1.0
 

Other Java Freeware of Developer «Thomas Kleemann, Alex Sinner»:

Not found
 
Similar Applications:

Love-mathLove-math
This fun apps will reinforce basic arithmetic concepts and spark a love for learning math. Don't let your kids waste their time playing on the phone. Have them practicing math instead.In this game you will calculate math examples so quickly as you can. Try to answer the questions correctly and increase the scale of the bonus
LinalgoLinalgo
Linalgo - offers basic functionality for linear algebra, such as determinant, rank, matrix addition and multiplication, inverse matrix, LU-Decomposition as well as solving linear systems. What's New in This Release: · Migrated from NetBeans to pure source code. · Matrices can be edited in ONE window. No switching is needed to change a value anymore
PRIMEletPRIMElet
A simple application for integer operations. Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random
Dec2BinDec2Bin
Converter binary number to decimal; Converter decimal number to binary;
PRIMElet V1.01PRIMElet V1.01
A simple application for integer operations. Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random Pr. Prime, GCD
sodBrain MathEasy FreesodBrain MathEasy Free
SodBrain MathEasy is a brain-trainer, a free java-based mobile application that allows you to accelerate your brain by solving basic mathematical and logical problems. (English and French Versions)
DescartesDescartes
Biography of Descartes
mPustakAddmPustakAdd
Mathematics Practice app that lets you learn with a lot of fun!
mPustakMultiplymPustakMultiply
Mathematics Practice app that lets you learn with a lot of fun!
Quadratic equation solver freeQuadratic equation solver free
This free application solves a quadratic equation and returns the roots(even imaginary roots)
 

Comments on Pocket KrHyper:

Comments not found

Name:


Comment:


Enter text from image below:

Turn on images!

 
 
 

JavaMobiles - Free Java games download for mobile phones. Java Applications, Software, JAR, Apps for Nokia, Samsung, touch screen, 240x320 screen

© Pantich MobyWare Production 2010 - 2017 all rights reserved