slc
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/slc/files/slc.zip/download
에 대해 slc
상징적 람다 미적분은 람다 미적분과 결합 논리에 기초한 논리적 형식주의로, 용어나 평등을 나타낼 수 있는 한 가지 종류의 객체만 있습니다. 그것은 드 브루이진과 람다 미적분 표기법을 사용합니다.
관련 프로그램
-
freeportfolio 무료
Outil 웹 (php /mysql) d'valuation initialement dvelopp l'ENFA (www.enfa.fr/portfolio).
-
FIGTree 무료
가우스의 빠른 계산을 위한 라이브러리는 개선된 빠른 가우스 변환 및 근사치 이웃 검색을 사용하여 여러 차원으로 변환합니다. 이 라이브러리는 가우시안 커널을 사용하여 효율적인 커널 밀도 추정(KDE)에 유용합니다.
-
GenomeDiff 무료
도트플롯에 의해 시각적으로 바이러스 게놈을 비교! 자바 프로그램. 펍에서 수동으로 다운로드! 정렬 보기를 사용! 예를 들어, Hiv-1 & Visna를 비교합니다. Hiv-1 내에서 p24를 찾으십시오! 자연어 텍스트를 비교! PDF로 다이어그램을 내보내기!
-
AquaLog 무료
자연어로 표현된 쿼리와 입력으로 온톨로지를 취하고 하나 이상의 지식 자료(KB)에서 가져온 답변을 반환하는 온톨로지 기반의 휴대용 질문 응답 시스템
-
hybrid model optimization/identification 무료
hybopt는 하이브리드(기계형/경험적) 동적(ODE 및 DAE) 모델에 대한 식별 및 최적 제어 문제를 해결하기 위한 라이브러리 집합입니다.
-
RmscopII 무료
RmscopII는 단백질 구조 파일(PDB 파일) 또는 RasMol 스크립트를 여러 RasMol 세션으로 리디렉션하는 Tcl/Tk 스크립트입니다. 웹 브라우저 도우미 응용 프로그램 또는 독립 실행형 프로그램으로 사용할 수 있습니다.
-
Matrix Expression Templates 무료
MET는 식을 다루는 C++ 매트릭스 클래스 라이브러리입니다.템플릿. 이 기술은 행렬 개체의 복사 및 임시 작업을 제거하고 계산 속도를 높일 수 있습니다.
-
Standard Animal Behaviour Ontology 무료
SABO는 동물 행동의 영역을 설명하는 최상위 OWL 온톨로지입니다. 저자:
-
RooFit toolkit for data modelling 무료
RooFit 패키지는 과학적 실험 결과의 예상 수치 분포를 모델링하기 위한 툴킷을 제공합니다. RooFit로 만든 모델을 피팅에 사용할 수 있습니다.시각화, 몬테 카를로 연구.
-
Ebooka PDF Viewer 무료
PDF와 편안한 독서를 위한 DjVu 지원으로 리더를 예약 및 문서화하십시오. 당신은 좋은 PDF 리더를 찾고 있다면, 여기에 중지, 당신은 그것을 발견했다. 그것은 당신이 그것을 기대하는 것을 합니다. 당신은 쉽게 누워이 응용 프로그램과 함께 PDF 책과 문서를 읽을 수 있습니다. 놀라운 향상은 당신의 눈을 다치게하지 않는 어떤 식 으로는 화면을 어둡게. 쉽게 설정하고 스크롤을 유지합니다. 모든 독