- Etusivu
- Michael Norrish
HOL lyhyt korkeammista Tilaa Logic on ohjelmointiympäristö, jossa lauseet voidaan todistaa ja todiste hyväksymiä välineitä.Sisäänrakennettu päätöksentekomenettelyjen ja lause provers voi automaattisesti luoda monia yksinkertaisia lauseet. Oraakkeli...