이것은 frdcsa-panoply-git-20200329.tgz로 최신 릴리스를 다운로드할 수 있는 frdcsa라는 Windows 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks를 사용하여 frdcsa라는 앱을 무료로 온라인으로 다운로드하여 실행하세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 모든 OS OnWorks 온라인 에뮬레이터를 시작하지만 더 나은 Windows 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Windows OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 애플리케이션을 다운로드하여 설치합니다.
- 7. Linux 배포 소프트웨어 저장소에서 Wine을 다운로드합니다. 설치가 완료되면 앱을 두 번 클릭하여 Wine과 함께 실행할 수 있습니다. 인기 있는 Windows 프로그램 및 게임을 설치하는 데 도움이 되는 Wine을 통한 멋진 인터페이스인 PlayOnLinux를 사용해 볼 수도 있습니다.
Wine은 Linux에서 Windows 소프트웨어를 실행하는 방법이지만 Windows가 필요하지 않습니다. Wine은 모든 Linux 데스크탑에서 직접 Windows 프로그램을 실행할 수 있는 오픈 소스 Windows 호환성 계층입니다. 본질적으로 Wine은 Windows가 필요하지 않고 모든 Windows 응용 프로그램을 실행할 수 있도록 Windows를 처음부터 충분히 다시 구현하려고 합니다.
스크린 샷
Ad
frdcsa
기술
20년 동안 무료로 제공되는 인공 지능 시스템의 첫 번째 릴리스입니다. 프로젝트는 자동화된 정리 증명을 위한 FRD와 범용 소프트웨어를 위한 CSA의 두 갈래로 구성됩니다. 또 다른 차원은 소프트웨어 수집 및/또는 작성 여부입니다. FRDCSA는 두 가지 접근 방식을 모두 취합니다. 일반적으로 FRDCSA는 다중 전략입니다. 예를 들어, 상징적 기술과 연결주의적 기술을 모두 사용합니다. 문제 해결 능력/이론 증명 능력을 극대화하는 것이 목표입니다. 컴퓨터를 형식적인 수학 시스템으로 봅니다. 따라서 Turing 및 Feferman의 완전성 정리와 관련이 있습니다. 릴리스된 버전(Panoply-Git)은 반드시 수정되고 최신 버전이 아닙니다. 약간의 도움이 있으면 더 최신 버전을 출시할 수 있습니다. 당신의 삶을 관리하는 데 도움이 되는 Prolog 기반 시스템인 Free Life Planner의 초기 버전과 함께 제공됩니다. 외부 및 git 코드베이스를 제외한 많은(89) 다른 시스템은 공간으로 인해 대부분 포함되지 않지만 RADAR를 사용하여 수집할 수 있습니다. 나중에 도움을 받아 출시합니다.
기능
- 인공 지능
- 소프트웨어 공학
- 소프트웨어 대기업
- 계획, 일정 수립 및 실행
- GNU / 리눅스
- 가상 기기
- 자동 정리 증명
카테고리
https://sourceforge.net/projects/frdcsa/에서도 가져올 수 있는 애플리케이션입니다. 우리의 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
