Lurch 0.4
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/lurch/files/Lurch%20Lite/0.4/LurchLite-0.4-Setup.exe/download
에 대해 Lurch
수학 증명을 가르치고 배우기 위한 소프트웨어 대부분의 수학적 증거 소프트웨어가 공식적인 논리 (또는 수학의 다른 전문 분야)에 집중하는 경우 Lurch는 attracitve 사용자 인터페이스를 사용하여 진정한 범용으로 하는 것을 목표로합니다.
관련 프로그램
-
TOTAL .NET Protector 무료 평가판
.NET은 관리되는 환경이므로 리플렉터 또는 내화기를 사용하는 모든 사람에게 코드를 열어 두는 단점이 항상 있습니다.스케이터 TOTAL은 어셈블리의 분해 가능한 Microsoft 중간 언어 코드(MSIL 또는 CIL)를 네이티브 형식으로 변환하면서 네이티브 C/C++ 코드와 동일한 수준의 보호를 제공하는 모든 .NET 메타데이터를 그대로 유지합니다.소프트웨어 보호 프로그래밍은 대부분의 소프트웨
-
Ziga 무료
Java에 작성된 파일 공유 응용 프로그램입니다. 모듈을 사용하여 다양한 프로토콜을 지원합니다. 현재 냅스터 및 Gnutella 프로토콜용 모듈이 있습니다.
-
Scriptol Xul Dev 무료
Xul Dev는 술 개발 환경을 의미합니다. IDE는 Xul 인터페이스를 설계하고 모든 프로그래밍 언어로 프로그램을 만들기 위한 것입니다. IDE는 Scriptol C++로 작성되었으며 소스 양식및 이진 실행 가능한 방식으로 사용할 수 있습니다.
-
cmpio library 무료
Libcmpio는 다양한 플랫폼 간의 가변 레코드 길이, 기록 압축, 투명한 볼륨 생성 및 제어 및 휴대성을 사용하여 데이터 파일을 조작할 수 있는 쉬운 방법을 제공하는 범용 라이브러리입니다.
-
Nuke My Tablet 무료 평가판
Nuke My Tablet은 개인 데이터, 이러한 사진과 비디오 등을 안전하게 삭제하고 휴대폰을 공장 설정으로 반환하여 개인 정보를 보호합니다. 이제 승인되지 않은 데이터 복구에 대한 걱정 없이 이전 장치의 용도를 안전하게 변경하거나 현재 장치를 업그레이드할 수 있습니다. Nuke My Tablet은 개인 데이터가 손상될 수 없다는 것을 아는 것만으로는 안심할 수 있습니다. 앱에 대해 국립 표준 기술
-
the prefuse visualization toolkit 무료
대화형 정보 시각화 응용 프로그램을 빌드하기 위한 소프트웨어 도구입니다. Prefuse는 Java(prefuse) 및 플래시(prefuse flare)에 대한 데이터 모델링, 시각화, 애니메이션 및 상호 작용을 위한 풍부한 기능 집합을 지원합니다.
-
AJIO 무료
AJIO는 하나 이상의 클래스에서 항아리를 구축 할 수 있습니다. 생성된 jar 파일에는 참조된 모든 jar 파일의 모든 종속 클래스가 포함되어 있습니다.AJIO permet de crer UN jar partir d'une ou plusieurs class et de leur dpendances automatiquement.
-
AdaDLX 무료
이것은 도널드 E. Knuth 종이에서와 같이 댄스 링크 X 알고리즘의 Ada 구현입니다. AdaDLX는 박스 퍼즐에 여덟 퀸즈 퍼즐, 스도쿠 그리드와 블록을 해결하는 데 사용됩니다.
-
Php5 Meta-Model 무료
Php 5 모델. 이 프로젝트는 ecore Php 5 모델과 발전기를 호스팅합니다.
-
Spyc 무료
Spyc는 PHP를 위한 간단한 YAML 로더/덤퍼 클래스입니다. YAML 파일을 PHP 데이터 구조에 로드하거나 PHP 어레이를 간단한 YAML로 덤프하는 데 사용할 수 있습니다. YAML에 대한 자세한 내용은 www.yaml.org 참조하십시오.