là một định lý chứng minh thư viện dành cho điện thoại di động J2ME. Nó hỗ trợ luận trong mệnh đề, thứ tự đầu tiên, và logic mô tả và nhằm mục đích quản lý kiến thức điện thoại di động hay các ứng dụng web ngữ nghĩa.
& Chấm giữa; Các nhà lý luận đầu tiên cho điện thoại di động
& Chấm giữa; Sử dụng tài nguyên ít
& Chấm giữa; Giao diện cho clausal lý đơn hàng đầu tiên và logic mô...
bạn sẽ cần phải bảo vệ trụ sở của mình khỏi các cuộc tấn công bằng xe tăng, chiến đấu với máy bay và trực thăng. Bạn phải tiêu diệt tất cả các xe tăng trên chiến trường ngoại trừ một để đi đến nhiệm vụ tiếp...
Hãy khám phá sự phong phú của thể thao giải trí sử dụng các hình ảnh thu được từ hàng triệu tình nguyện viên trên web toàn cầu. Một ứng dụng bàn cà phê cho giáo dục giải trí từ phím; và là một cách mới để tìm hiểu về các tin tức và sự kiện từ khắp nơi trên thế giới. Tham gia vào cộng 750.000 người đã tải về ứng dụng...
Collins Đức mPhrasefinder chứa 500 cụm du lịch Đức. Ðọc Đức và lắng nghe những âm thanh trong khi bạn đi du lịch. Trong thời gian không, bạn sẽ có thể nói những gì bạn có nghĩa là ở nước ngoài.
& Chấm giữa; Xem các văn bản của các ngôn ngữ trên điện thoại di động của bạn
& Chấm giữa; Nghe phát âm thông qua tai nghe hoặc loa
& Chấm giữa; Sử dụng nước ngoài trong nhỏ gọn, dạng dễ cửa hàng...
Mục đích của trò chơi là để lên trái đất và tháo dỡ nhà vua. Đặt 3 và nhiều phần tử giống hệt nhau theo chiều dọc hoặc chiều ngang và nhận được các khoản thưởng tương...