HOL 7
HOL court à partir d'ordre supérieur Logic est un environnement de programmation dans lequel théorèmes peuvent être prouvées et les outils de preuve mis en œuvre.Procédures de décision intégrés et démonstrateurs peuvent automatiquement établir...
Logiciels consultés récemment
Sony Vaio VPCEH32FX/B Image Optimizer Program for Windows 8/Windows 8.1 64-bit 15 Mar 16
-
ASUS X550WA (A4-6210) Keyboard Device Filter Utility for Windows 8.1 64-bit 17 Mar 16
-
MS Access Media Clipping Database Template 26 Jan 15
-
Leshcat AMD UnifL Catalyst Graphics Driver 15.4 v2.0 Beta 64-bit 19 Apr 15
Ultimate Netkit 9 Dec 14
-
ELAN PS/2 Port Input Device Driver for Windows 10 64-bit 19 Dec 15
SMTP/POP3/IMAP Email Engine for Delphi 11 May 16
-
Biostar Hi-Fi A70U3P Ver. 6.2 Realtek Audio Driver 8 May 15
-
JadeIDE for Java 3 Nov 15
-
GDC 2007: Advanced Performance Tuning with PIX for Windows 21 Sep 15