HOL 7
HOL Stručně z vyššího řádu Logic je programovací prostředí, ve kterém mohou být věty dokázat a odolné nástroje realizovány.Vestavěné rozhodovací postupy a věta provers může automaticky vytvořit mnoho jednoduchých vět. Mechanismus věštec umožňuje přístup k...
Nedávno zobrazené Aplikace
Dynamics CRM ODBC Driver (32/64 bit) 11 Nov 16
Linear barcode Encoder SDK/ActiveX 5 May 15
Excel Jetcell .NET 16 Apr 15
-
Visual C# 2005 and Databases 23 Sep 15
-
Net2Serial 26 Oct 15
Bytescout Watermarking SDK 19 Sep 15
-
SAND CDBMS Database Client 10 Jan 17
-
Deccan Encryptor / Decryptor 25 Oct 15
-
OBJ Export for SolidWorks 23 Sep 15
SysTools SQL Log Analyzer 1 Dec 18