TableauxProver for Linux 1.1-1 1.0
Its syntax uses prenex specification and the user can rearrange the formulae in a convenient way to simplify the proof reading process.
- Audio & Multimedia
- Business
- Communications
- Desktop
- Development
- Education
- Games
- Graphics
- Home & Hobby
- Network & Internet
- Screen Savers
- Security & Privacy
- Servers
- System Utilities
- Web Development
- SSuite NetSurfer Browser x64
- UltraFileSearch Std
- Pen Drive Recovery Free
- Aiseesoft iPhone Cleaner...
- AnyMP4 Blu-ray Ripper
- Apeaksoft iOS Unlocker
- Apeaksoft Screen Recorder...
- AnyRec Video Enhancer
- Windows Data Files Undelete
- Data Unerase Software
- Mac Removable Media File...
- Data Recovery Software
- Vista Partition Data...
- Softaken MS PowerPoint...
- Verwijderde Bestanden...
- ADRC Data Recovery Tools
- avast! Antivirus
- Revo Uninstaller
- Java Runtime Environment
- AVG Anti-Virus Free Edition
- GOM Media Player
- RegSeeker
- IrfanView
- CPU-Z
- Malwarebytes Anti-Malware
- Spybot Search & Destroy
- Skype
- µTorrent
- Ai File Extension Editor
- Remove Drm From Pdf Files
- Download Word Templates For...
- Assault Cube Sounds
- Download Song As Zip File
- Rankquest Watchseo
- Free Becker Cpa
- Creative Smiley Faces Text
- Portable Photo Editor Free...
- Screen Capture Master
- Bat Merge
- Daz Iso Compressor
- Destroy Recycle Bin Windows
- Decode Firefox Cache File
- Link Directory Script
Prenex Specification Download
-
1Freeware
-
2TableauxProver for Mac OS X 1.1-1
Its syntax uses prenex specification and the user can rearrange the formulae in a convenient way to simplify the proof reading process.Freeware -
3TableauxProver 1.1-1 1.0
Its syntax uses prenex specification and the user can rearrange the formulae in a convenient way to simplify the proof reading process.Freeware -
4BSD SpecLink 12.0
BSD SpecLink®-E is a master guide specification writing, management, and production system with built-in intelligence designed to help you dramatically speed up editing tasks and reduce specification production time while minimizing errors and ... -
5Leap SE 4.0
Leap SE is an advanced requirements engineering CASE tool that produces object-oriented models directly from a system requirements repository or specification (SRS). By translating English into logical models for software development, Leap SE achieves ...$99.00 -
6MIS Info Video 2.7.0
Free media player: Play DVD, AVI, MP3, MPEG or view pictures (JPG, TIF, GIF, PNG, BMP) files, manage and obtain information about a media file using the MIS specification (subtext, chapters, URL...), .NFO or .TXT. It also give you the possibility to ...Freeware -
7M8 Data Capture Demo 1.00
M8 data capture systems are custom written to your specification and can dramatically cut the cost of data capture projects. This is a fully working demonstration system designed to capture information from individual prisoner files for incorporation ... -
8TimeGen Timing Diagram Tool 1.0
TimeGen: Digital Timing Diagram Tool for Design Engineers Create and modify digital waveforms using TimeGen, and then export them directly into a design specification. TimeGen can create clocks, signals, buses, signal relationships, invalid regions, ...$99.95 -
9The ASP Toolkit 2.7
The ASP Toolkit is the specification that enables Application Service Providers - an organization that hosts software applications on its own servers within its own facilities. Customers access the application via private lines or the Internet. Also ...$199.00 -
10System Spec 1.53
System Spec is a system information program which can produce a specification of your Windows PC without listing lots of useless memory address and unnecessary information. It run without needing to be installed first which means you can run it on your ...Freeware -
11Lockngo Pro 2.20
Lockngo Professional encrypts and hides your entire removable media content using 64 bit military specification unbreakable encryption.Lockngo is the only product available on the market today offering this level of security while running directly from ...$39.00 -
12RTF TO XML 5.2.1
RTF TO XML converts RTF documents (for example, MS Word documents saved as Rich Text Format) into well-formed XML documents in line with the XSL FO specification and use various plugins to convert XML into PDF, HTML and other. Operated from a Graphics ...$100.00 -
13Ai-See 1.1
aiSee reads a textual, easy-to-read and easy-to-learn graph specification and automatically calculates a customizable graph layout. This layout is then displayed, and can be interactively explored, printed and exported to various graphic formats. See ...$395.00 -
14DBF to XML Conveter 2.3
The Extensible Markup Language (XML) is a general-purpose specification for creating custom markup languages. It is classified as an extensible language, because it allows the user to define the mark-up elements. XML is a universal data format. It ...$29.95 -
15CX-Server PLC Tools 1.6
CX-Server PLC Tools provides a connection between the industry standard OPC interface specification and Omron's network architecture and controllers. CX-Server PLC Tools allows any OPC compliant client software to interface easily with Omron. - ... -
16DigiDoc Client 2.7
DigiDoc Client is a MS Windows application for creating and verifying digitally signed files according to ETSI TS 101 903 (XAdES) specification. DigiDoc Client is also capable of encryption/decryption of files (signed or unsigned) according to W3C XML ...Freeware -
17IDesignSpec2007 3.3
IDesignSpecTM is an award winning engineering tool that allows an IP, chip or system designer to create the register map specification once and automatically generate all possible views from it. Various outputs are possible such as UVM, OVM, RALF, SystemRDL, ... -
18WeldOffice WPS 1.0
Welding Procedure Specification (WPS) creation and management is simple, fast and accurate with automatic code checking and links to code related software modules. Only C-spec's WeldsOffice® offers code compliance and code rules verification ... -
19Channel Utility 1.0
This channel utility means you will never have to search through a specification document again! It provides a simple way to calculate the center frequency from the channel number. Once installed, just open the application and select the wireless technology ...Freeware -
20OpenXDAS 0.8
OpenXDAS is an open source implementation of the Open Group's Distributed Auditing Service (XDAS) specification. OpenXDAS provides a complete implementation of the XDAS specification API, including client-side instrumentation and filtering. Source ...Freeware -
21Spartan Quark Configuration 1.0
The Quark is a high specification model helicopter gyro capable of delivering exceptionally consistent yaw rates even at eye-blurring speeds of over two full turns per second. The control is smooth and precise with a very solid feel and impressive holding ...$149.95 -
22LRFD Prestressed Beam 3.2
LRFD Prestressed Beam is a program that designs simple span prestressed beams such as Florida-I, AASHTO, Florida Bulb-T, Florida-U, Florida Double-T, Flat Slab, Inverted-T) in accordance with the AASHTO LRFD Bridge Specification that you use for your ...Freeware -
23WAV to AC3 Encoder 5.0
WAV to AC3 Encoder is an audio encoder which generates compressed audio streams based on ATSC A/52 specification. The application comes with two very different interfaces, one for the novice user, and a professional one for those who know what they are ...Freeware -
24CS Project Professional 3.6
CS Project Professional’s advanced technical specification makes it the premier project planning tool suitable for corporate workgroups controlling multiple major projects, while its intuitive user interface makes it easy enough for casual ...$155.00 -
25ATCSMon 4.1
ATCS Monitor allows you to graphically monitor train traffic on railroads that use the Association of American Railroad's Advanced Train Control System (ATCS) Specification 200 protocol, Wabtec (ex-Rockwell Collins) Advanced Railroad Electronics ...Freeware