EulerSharp 2011-06-24
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/eulersharp/files/eulersharp/Euler-2011-06-24/Euler-2011-06-24.zip/download
에 대해 EulerSharp
오일러는 논리 기반 증명을 지원하는 추론 엔진입니다. 그것은 오일러 경로 감지로 강화 된 후진 체인 추론자입니다. 자바, C#, 파이썬, 자바스크립트 및 프롤로그에 구현되어 있습니다. N3를 통해 W3C Cwm과 상호 운용할 수 있습니다.
관련 프로그램
-
g15tools 무료
로지텍 g15 키보드용 사용자 공간 도구입니다. 이러한 도구를 사용하여 LCD에 사용자 지정 콘텐츠를 표시하고 키보드의 추가 키를 처리하는 데 사용할 수 있습니다.
-
ARNUX 무료
ARNUX에 오신 것을 환영합니다 : 오픈 소스 임베디드 리눅스 프로젝트. 첫 번째 터키 어 임베디드 리눅스 배포판. 임베디드 및 콘솔 기반의 운영 체제입니다. ARDIC(응용연구개발혁신센터 http://www.ardictech.com) 후원
-
Squirrel Shell 무료
다람쥐 쉘은 마이크로 소프트 윈도우에서 리눅스와 cmd.exe 에서 강타와 같은 시스템 쉘에 대한 크로스 플랫폼 대안입니다. 그것은 스크립팅 언어 및 쿼트 & 다람쥐 & 쿼트;를 기반으로합니다.
-
wekula - A web interface to Bacula 무료
wekula는 바쿨라 백업 시스템에 웹 인터페이스입니다. 그것으로 당신은 바쿨라 설정을 변경할 수있을 것입니다, 중지 / 바쿨라 데몬을 시작, 단일 파일 검색 및 복원을 할 ... 어디날테션은 바쿨라 클라이언트와 바쿨라 데몬에게 편리한 PHP 인터페이스를 제공할 것입니다.
-
libfallocate 무료
파일 시스템은 큰 파일이 얼마나 큰 파일인지 알고 있다면 조각화를 피할 수 있습니다.이 라이브러리는 (glibc-2.10+와 같은) syscall에 대한 래퍼를 제공하지만 xfs / ocfs2 ioctl을 알고 있으며 posix_fallocate ()보다 더 나은 대체를 제공합니다.
-
AAT Direct Connect Hub Project 무료
OpenDCHub를 향상시키기 위해 작성된 스크립트 및 허브 개조.Hub-Security 스크립트는 국가별로 등록되지 않은 사용자를 필터링하고 op 명령 및 보안 기능을 추가합니다. 통계 및 재미있는 스크립트도 사용할 수 있습니다. 향후 개발은 ODCH 개조로 전환될 것입니다.
-
yydecode -- decodes yEnc/uuencoded binar 무료
yydecode는 yEnc 인코딩 된 바이너리에 대한 매우 휴대용 디코더입니다.유즈넷. 그것은 uudecode에 우수한 기능을 제공하고, 드롭 인 교체로 사용할 수 있습니다.
-
ice Updater 무료
아이스 업더 - 자동화되고 중앙 MS 오피스 업데이트를위한 스립 할 수있는 솔루션. 누락 된 핫픽스와 서비스 팩을 다운로드할 수 있습니다. 로컬 또는 원격 컴퓨터에 패치를 조용히 설치 - 사용자 입력이 필요하지 않습니다. 추적 로그, 윈도우 NT 이상
-
GACSoft Free Driver Updater 무료
GACSoft 무료 드라이버 업데이트에 대한 설명:몇 분 만에 PC 드라이버를 훌륭하게 업데이트하는 무료 드라이버 도구 ...이 세기는 정보 기술의 시간입니다. 높은 과학 기술의 개발이 증가함에 따라 인터넷은 모든 곳에서 사람들의 일상 생활에 침투합니다. 거의 모든 사람들이 컴퓨터를 알고 이해합니다. 그러나 컴퓨터에 없어서는 안 될 부분을 알고 있습니까? 물론, 그것은 드라이버입니다. 드라이버
-
V-Drive 무료
V-Drive는 ISP, Uni 등에서 제공하는 개인 웹 공간에서 데이터에 액세스하는 Windows PC에 가상 하드 디스크를 만드는 작은 응용 프로그램으로 모든 Windows PC에서 액세스할 수 있는 디스크 드라이브를 사용할 수 있습니다.