Indirect Proofs

Show software
Proofs - Indirect - Indirect Permissions
Software Downloads 1-20 of 40  |   Pages 1 2 
Software Name  /  Popularity Revised Size License Company

Archive of Formal Proofs

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

July 23rd 2012 6,592k Freeware  afp.sourceforge.net

U of I Indirect

This project is for credit in UIUC's CS327 Software Engineering class.This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.

May 4th 2012 1,350k Freeware  uofiindirect.sourceforge.net

SYNTPARSE German

Parses the German sentence showing its grammatical and syntactical constituent elements: subject, object (direct, Indirect), complement (subject, object, infinitival complement), verb and verbal tense ( present tense, past tense, future tense), mood, dependent clause, etc. object , subject , verb , object direct , indirect ...

August 5th 2012 8,069k Shareware  Langsoft (Sprachlernmittel)

SYNTPARSE English

Parses the English sentence showing its grammatical and syntactical constituent elements: subject, object (direct, Indirect), complement (subject, object, infinitival complement), verb and verbal tense ( present tense, past tense, future tense), mood, dependent clause, etc. object , subject , verb , object direct , indirect ...

April 26th 2012 7,516k Shareware  Langsoft (Sprachlernmittel)
XProFTP

XProFTP

XProFTP - Windows 95/98/NT/2K/XP feature packed FTP client - includes Host-To-Host with Dual mode (Standard and Indirect) support, connects to 2 FTP sites simultaneously, Round Trip Drag and Drop file/folder transfers, supports AutoDial, AutoHangUp and automatic Internet connection type detection, Resume on Upload and Download, ... download , ftp , internet , upload , scheduler ...

May 12th 2008 3,458k Shareware  Xperts Inc
eOrdering Gold

eOrdering Gold

Small businesses, photographers, and artists put your products online and take orders over the web. eOrdering Gold is designed for smaller sites and eOrdering Professional for larger sites (since eOrdering Professional can split products into categories). php , web , photo , asp , ecommerce ...

May 12th 2008 2,791k Shareware  usa

incViewer

The program makes Proofs directly from raster images in final resolution. Proofs can be printed out on any printer or saved as TIFF, PDF or JPEG files. Supports unique features: ink order and ink transparency control, calculate ink profiles, makes outs with control strip. Integrated ...

May 12th 2008 1,881k Shareware  Warwick Printers Supplies company Ltd
Custom Addressbook

Custom Addressbook

Custom Addressbook is an intuitive, powerful, small, and extremely flexible Address Management program for Windows. Custom Addressbook is unique, among the many apparently similar programs, in that this program enables you to define your own addressbook fields and categories. An advantage of its small size, ... text , ftp , web , email , address book ...

May 12th 2008 696k Shareware  Freebyte
FotoFusion

FotoFusion

Pro photographers: Revolutionize your pipeline. Create high-value wedding albums & wall portraits; Email watermarked Proofs; Print large-format photocompositions, and export your work to labs at high res. Scrapbookers: Create dazzling layouts in seconds, with multiple layers, text layouts, and transarent elements. Share your work as ... software , email , print , photos , gallery ...

May 12th 2008 5,299k Shareware  LumaPix
BitKinex FTP/SFTP/HTTP/We bDAV Client

BitKinex FTP/SFTP/HTTP/We bDAV Client

BitKinex integrates the fuctionality of an innovative FTP, SFTP and WebDAV client for Windows. In addition to features found in other popular FTP programs (like support for the SSL/SSH, multipart and multithreaded transfers, remote edit or FXP) our FTP client introduces several unique approaches and ... ftp client , ssl , ssh , mirroring , sftp client ...

May 12th 2008 5,978k Shareware  Barad Dur FTP Clients
APS Accounting & Stock Control

APS Accounting & Stock Control

APS combines powerful multi currency client/server multilingual accounting software, Human resource and stock ( inventory) control and Point of Sale features with deferent types of transactions such as Cost Centers, Journal Entries, Receipt & Payment Vouchers,printing cheques with custom design and wide range of reports ... accounting , accounting software , point of sale , aps , trial balance ...

December 6th 2017 40,612k Shareware  Advanced Programs Solutions

Domain Administration Tool

The Domain Administration Tool is a Windows system tool you can use to manage security, servers, networks and workstations. With the Domain Administration Tool you can: - Select the domain or domains to be administered - Get a full overview of your domain - Manage ... export , ras , import , accounts , users ...

May 12th 2008 2,355k Shareware  Pukka Software bv
FTP Client Screen Saver

FTP Client Screen Saver

Screen saver for users of the BitKinex FTP client. It shows the tips for using this popular software. BitKinex integrates the functionality of an innovative FTP client, SFTP client and WebDAV client for Windows. In addition to features found in other popular FTP programs (like ... ftp client , ssl , ssh , mirroring , sftp client ...

May 12th 2008 1,398k Freeware  Barad Dur FTP Clients
The Complete Genealogy Reporter

The Complete Genealogy Reporter

Create comprehensive narrative GEDCOM reports, books, and web folders (in English or German) with fully cross-referenced texts, notes, media, and family tree diagrams. The Complete Genealogy Reporter can incorporate all cousins, aunts, uncles, and Indirect relationships via marriage, for any individual in your GEDCOM file. ... book , report , document , genealogy , family tree ...

May 12th 2008 1,255k Shareware  Nigel Bufton Software
ChemEng Economics Calculator

ChemEng Economics Calculator

ChemEng Economics Calculator was mainly made to do the basic method of estimating the Net Present Value of a process plant. This easy to use software also include few small calculators, below is a list of the main features:(A) Net Present Value- the software goes ... management , plant , update , engineering , economics ...

May 12th 2008 5,175k Demo  WeBBusterZ Engineering Software
ID Network Watch

ID Network Watch

ID Network Watch is a useful utility designed to provide network and system investigation data, keeping you informed of the status of your network security settings. It checks the network and system security settings and allows you to quick fix the problems found. Main Features: ... internet , privacy , protect , erase , clean ...

May 12th 2008 1,485k Shareware  Fastlink2
GSA Image Analyser Batch Edition

GSA Image Analyser Batch Edition

The GSA Image Analyser Batch Edition is a program for the scientific evaluation of images. The Program can analyse all images in batch mode and store the results in a CSV files who can later be imported into any spreadsheet applications like Excel or Open ... batch processing , image analyser , image tool , object surface calculation , object length calculation ...

January 15th 2009 3,873k Shareware  GSA
Filip Hermann

Filip Hermann

BitKinex is an innovative FTP client supporting multiple transfer protocols (FTP, FTPS, SFTP, HTTP, HTTPS and WebDAV). In addition to features found in other popular FTP clients (like support for the SSL/SSH or multipart and multithreaded transfers) BitKinex introduces several unique approaches and solutions like: ...

January 19th 2009 6,137k Shareware  bitkinex com
Carbon Footprint Calculator

Carbon Footprint Calculator

Learn where you can go green by calculating your carbon footprint and then focusing on areas where you can make the most positive impact on the environment. The software gives you CO2 footprint details from each category. For transportation you can enter in up to ...

January 19th 2009 780k Freeware  enviroduck com
Spherical Chess 400

Spherical Chess 400

I have always believed that out of an infinite number of possible, playable chess variants that could be invented, a single, best, perfect game existed in the imaginary-yet-real, theoretical realm of perfection, waiting to be discovered. Of course, it would never permit itself to be ... chess , axiom , derek nalls , chess variant ...

April 8th 2009 1,936k Freeware  Derek Nalls
Software Name  /  Popularity Revised Size License Company
Software Downloads 1-20 of 40   |  Pages 1 2 
Show software

Browse related

Formulas Proofs - Adjust Indirect Fire - Advanced Trig Proofs - Coordinate Geometry Proofs - Coordinate Proofs - Define Indirect Characterization - Direct Indirect Characterization - Direct Indirect Costs - Euclidean Geometry Proofs

Current software picks

Router Manager Lock - A File Path - Vista Theme Bleach - Norsk Data Ltd - Rome Total War Alexander Alexander - Barcode Scan Sound - Firefox Swf Cache - Bitrate Calculator Mpeg - Cue Splitter Help - Mobile Tradestation - Cue Splitter Burn - California Process Server - Cue Splitter Apple - Cue Splitter Ape - Jukebox Music Interface - Bin Cue Splitter - Act College Board - Best Elliptical Trainer - Bertone Jaguar B99 X Gt Puzzle - Chnage Ip Address