에이다에 대한 간격 산술 에이다에 대한 간격의 구현을 제공하는 수학 라이브러리입니다. 그것은 산술과 관계형 작업이 포함됩니다.예 :트라이 - 상태 로직패키지 간격 루트 패키지로서 기능하고 또한 간격에 관계 연산을 정의 할 필요가 삼 상태 로직을 제공한다. 논리 형태는 다음과 같이 정의된다 : 논리 유형이 (거짓, 사실, 불확실한); 다음 작업은 논리에 대해 정의 : 기능 "없습니다"(왼쪽 : 논리)는 논리를 반환; 기능 "과"(왼쪽, 오른쪽 : 논리)는...
- 홈페이지
- Dmitry A. Kazakov
- 교육 및 과학 소프트웨어
최근에 본 소프트웨어를
-
Excel Bookkeeping Set 2x1 10 Apr 15
-
Aikin HyperSearch 22 Oct 15
-
Free HTML Reader 9 Dec 14
-
Gigabyte GA-Z170XP-SLI (rev. 1.0) Intel Chipset Driver 13 Dec 15
-
Burger Shop 1 22 Jan 15
-
HL-DBExporter (MySQL to PostgreSQL) 15 Apr 15
-
Music Rescue 11 Apr 15
-
Browser Cleaner 10 Apr 15
-
1600 Windows Icons (Metro Style) 31 Dec 14
-
BitRock InstallBuilder Professional 21 Jan 15
인기있는 소프트웨어
-
Interval arithmetic for Ada 14 Apr 15
새로운 교육 및 과학 소프트웨어 에 Dmitry A. Kazakov
최근에 본 소프트웨어를
-
Excel Bookkeeping Set 2x1 10 Apr 15
-
Aikin HyperSearch 22 Oct 15
-
Free HTML Reader 9 Dec 14
-
Gigabyte GA-Z170XP-SLI (rev. 1.0) Intel Chipset Driver 13 Dec 15
-
Burger Shop 1 22 Jan 15
-
HL-DBExporter (MySQL to PostgreSQL) 15 Apr 15
-
Music Rescue 11 Apr 15
-
Browser Cleaner 10 Apr 15
-
1600 Windows Icons (Metro Style) 31 Dec 14
-
BitRock InstallBuilder Professional 21 Jan 15
인기있는 소프트웨어
-
Interval arithmetic for Ada 14 Apr 15