Freeware Downloads for "Symbolic Logic Program Mac"

Related: Program Mac Avi - Piano Program Mac - Dvd Burning Program Mac - Printing Counter Program Mac Osx - Animated Gif Maker Program Mac Free

SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology..

AiM is a system for intelligent computer-aided learning and assessment in mathematics and related disciplines, based on a symbolic mathematics program..

  • Platform: WinOther
  • Publisher: aiminfo.net
  • Date: 19-11-2012
  • Size: 1198 KB

QSapecNG is a Qt-based symbolic analysis program for linear analog circuits. In fact, it consists of two indipendently parts: the SapecNG framework engine, and the application gui QSapecNG..

HourGuard Free for Mac OS Xis a timesheet program Easily record time spent on tasks with this time recording software by simply click start and stop accordingly, breaking your projects down into sub-tasks as needed, with HourGuard running quietly in the background as you work. Later create full timesheet reports including a break down of what projects you worked on, or just as easily create invoices to bill customers and clients for your time, making Hourguard time logging software ideal for freelancers and other professionals who bill by the hour.

  • Platform: Mac OS X
  • Publisher: NCH Software
  • Date: 26-01-2017
  • Size: 1100 KB

C-IL2P was developed as an open source C++ implementation of the original C-IL2P system.

C-IL2P was created as a neural-symbolic learning system that makes use of a propositional logic program to build a three-layer recursive neural network. The C-IL2P system can also use back-propagation to learn from examples.


.

QSapecNG is a Qt-based program for symbolic analysis of linear analog circuits. In fact, it consists of two indipendent parts: the SapecNG framework engine and the application gui QSapecNG. It is an open source, multi-platform project, continuously enhanced by students and researchers of Department of Electronics and Telecommunications of the University of Florence. It comes as continuation of SapWin for Windows, in order to give to the project a full compatibility on other platforms. Through SapecNG / QSapecNG users can draw, solve and analyze analog circuits as well as manage them.

  • Platform: WinOther
  • Publisher: Michele Caini
  • Date: 11-09-2012
  • Size: 4608 KB

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows..

BrickShooter.online is the online version of BrickShooter you can play right in your browser. BrickShooter supports all major browsers including Internet Explorer, Safari, Firefox, and Opera. Since it's cross-platform you can enjoy BrickShooter in Windows, Linux, Mac OS X or any other operating system. Also, you can play BrickShooter.online on your Apple iPhone..

  • Platform: WinOther
  • Publisher: TERMINAL Studio
  • Date: 04-08-2012
  • Size: 1546 KB

clingo is a compact application designed to combine the usage of both clasp and Gringo. It is an efficient combination between the solver and the grounder which uses the same input language as Gringo.

You can use this tool for solving logic programs by entering the desired parameters using the command line interface. It can also work as a simple solver by using the "-clasp" argument.


.

Star Watermark for Mac is a powerful and easy-to-use tool to watermark your images, photos and graphics. Star Watermark is an essential tool for anyone with a digital camera, professionals and beginners or graphic artist on Mac OS X. With the watermarking software free version, you could add TEXT water mark for your photos, With the watermark software purchased version, you can add not only TEXT water mark, but also IMAGE watr mark to your photos. With Star Watermark program's smart user interface, we maximize the easiest operations of using the free watermark program, such as Drag and Drop photo files to the software to add source files, and Double Click watermark templates or source file to edit template or preview the result watermarking photo.

VisualLightBox is a free wizard program that helps you easily generate web photo galleries on Mac OS with a nice Lightbox-style overlay effect, in a few clicks without writing a single line of code. Just upload files generated by the photo album builder to your server and it will run immediately, even if it's a free host without php, mysql, asp support. Visual LightBox Features: * jQuery plugin or Prototype extension; * Floating and smooth cross-fade transition; * Slideshow with autostart option; * Windows & MAC version; * XHTML compliant; * Zoom effect with overlay shadow; * Rounded corners of overlay window; * Large images fit to browser window; * A lot of nice gallery themes; * Image rotating and hi-quality image scaling with anti-aliasing; * Automatic thumbnail creation; * Adding caption; * Built-in FTP.

Easy HTML5 Video for Mac is a free wizard program that helps you create HTML5 video for your website in a few clicks. HTML5 is the fastest growing web development trend and HTML5 video as a part of HTML5 becomes the new natural way to show video online. iPad, iPhone, Android, all new browsers declare the support for HTML5 video. It's great, but what is the usual route to create HTML5 video? First you need to find converters and make three versions of your video - .OGG, MP4, WebM. Then, to provide the compatibility with IE and old browsers you add a fallback Flash version of your video with Flash video player.

WavePad is a sound editor program for Mac OS X. This software lets you make and edit voice and other audio recordings. You can cut, copy and paste parts of recording and, if required, add effects like echo, amplification and noise reduction. Sound editing functions include cut, copy, paste, delete, insert, silence, autotrim and more. Audio effects include, amplify, normalize, equaliser, envelope, reverb, echo, reverse, sample rate conversion and more Special effects include reduce vocals, distortion, chorus and more.

  • Platform: Mac OS X
  • Publisher: NCH Software
  • Date: 24-02-2012
  • Size: 1456 KB

A light-weight tool to detect the memory leak in C++ Program under Mac environment. It will trace the memory allocation stack and print it out when your program exit..

MediaHuman Audio Converter is a freeware for Mac OS X. It can help you in case you need to convert your music in WMA, AAC, WAV, FLAC, OGG or Apple Loseless format. This program was designed specially to simplify as much as possible the process of conversion. At the same time, it gives you an opportunity to adapt it to your needs. That\'s why the interface of the program is simple and intuitive, very easy to understand. It doesn\'t contain anything superfluous. There are predefined profiles for such formats as MP3, AAC, WMA and others in the program.

  • Platform: Mac
  • Publisher: MediaHuman.com
  • Date: 01-02-2013
  • Size: 30742 KB

WavePad is a sound editor program for Mac OS X. This software lets you make and edit voice and other audio recordings. You can cut, copy and paste parts of recording and, if required, add effects like echo, amplification and noise reduction. * Sound editing functions include cut, copy, paste, delete, insert, silence, autotrim and more * Audio effects include, amplify, normalize, equaliser, envelope, reverb, echo, reverse, sample rate conversion and more * Special effects include reduce vocals, distortion, chorus and more * Batch processing allows you to apply effects and/or convert your files as a single function * Audio restoration features including noise reduction and click pop removal * Recorder supports autotrim and voice activated recording * Create and work on multiple audio files at one time and save them as one...

  • Platform: Mac OS X
  • Publisher: NCH Software
  • Date: 13-09-2013
  • Size: 2024 KB

Express Burn Mac is a free CD burning program that lets you create audio and data CDs. With Express Burn you can record a data or audio discs quickly and easily by dragging the files you want onto the icon and clicking Burn CD. Express Burn does the rest, including converting files if required. Express Burn is also one of the fastest CD writing program in the world using proprietary optimizing systems. Express Burn Plus includes Video DVD authoring, the ability to burn Data DVDs, HD-DVDs and Blu-ray Discs.

  • Platform: Mac OS X
  • Publisher: NCH Software
  • Date: 20-10-2014
  • Size: 6046 KB

LAN Mac Finder will help you to find MAC address of computers on LAN. This program displays the name of the MAC name, the computer name and the IP address. A MAC address is a Media Access Control address, and all the computers on a LAN will have one. You can find the MAC address of a local or remote computer on the LAN network and obtain all possible information about the MAC addresses..

  • Platform: Windows
  • Publisher: FreeConvertSoft
  • Date: 18-11-2014
  • Size: 2666 KB

Wanna backup your DVD movies on Mac or rip DVD movie to popular MP4 format? MacX Free DVD Rip Copy for Mac is a must-have tool for you. As a powerful and free Mac DVD rip copy tool, it not only enables you to perfectly decrypt and backup any copy-protected DVDs to hard drive with original quality, but also helps you rip any DVD movies to MP4 within a short time. Moreover, you can also use this program to extract DVD audio into MP3 music and adjust parameter settings to optimize output video effect.

FREE DiceLock Security JDiceChecker Java .jar library. Mac OS X 10.6 .pkg package installer program. If in your process or software applications you have need for random number streams and you want to check that the input or output random stream is really at random, you can incorporate JDiceChecker library in your Java applications to be sure that the random streams are at random. Incorporate random number tests in your applications. The Java .jar library contains classes implementing Frequency Test, Block Frequency Test, Cumulative Sum Forward Test, Cumulative Sum Reverse Test, Runs Test, Longest Run Of Ones Test, Rank Test, Universal Test, Approximate Entropy Test, Serial Test, Discrete Fourier Transform Test.

Symbolic Logic Program Mac: Freeware | All

New Reviews


Print Inspector

Whether you are using a printer connected to your local desktop computer or a print server sometimes you need to see whats going on in your printer by having a close look at the print jobs sent by the users. Print Inspector is such type software ...


Disk Genius

Disk Genius was formerly known as Partition Guru which is an all-in-one solution for disk partition management, data recovery and disk repairing. It can recover lost files from partition, backup and restore partition table, clone partition or clone ...


Safe In Cloud

It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...


PictBear

Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime too. ...


Panda Cloud Cleaner

PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...


SnapCrab

Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...


BitKiller

Dealing with various types of data efficiently holds the key to success in any computing task. Apart from generating new data and modifying existing files, it becomes necessary to delete existing files at times. While most users resort to using ...


SeaMonkey, Portable Edition

Using the Internet has become a necessity for a majority of people, including those who do not use a PC regularly. To browse web, stream video or download online content, people often resort to using various third party apps. For example, using ...


TuckAway Intelligent Email Organizer Pro

Using an email software allow you to do a number of things including managing your address lists, emails and even ending memos, documents and even virtual letters. You can also use it to manage your tasks easily. The email software comes in ...


WebAcappella

Web design sector has witnessed several trends and technological innovations affect website development in big ways. With time, designing websites has become easier. Nowadays, you can find web design software that nearly eliminates the need to ...


New Downloads

Vue Injector

Vue Injector is an open-source
dependency injection library
for Vue.js created by a team
of front-end developers at ...

Flowrigami

Flowrigami is an open-source
BPM workflow editor and
visualization tool that allows
creating, editing and
visualizing ...

FolderMill

FolderMill monitors a folder
and automatically prints or
converts incoming documents to
PDF, JPG or TIFF. Just define
...

Express Accounts Accounting
Free

Express Accounts Accounting
Software Free is professional
business accounting software.
This product is perfect small
...

PhotoStage Photo Slideshow
Software Free

PhotoStage Free Slideshow
Software lets you create a
slideshow from your digital
photos and videos on Windows
and apply ...

Print Conductor

Print Conductor is a batch
printing software. It prints
multiple PDF files, plain
texts, Microsoft Office and
OpenOffice ...

OzGIS

OzGIS is an extensive system
for the analysis and display
of geographically referenced
data. The system can be used
to ...

Vivaldi for Windows 32

The Vivaldi browser does not
track you and lets you be in
control of how your browser
looks, feels and works. It
adapts ...

Active@ ZDelete

Active@ ZDelete is a secure
delete utility. It helps you
to permanently delete files,
drives and folders. Active@
ZDelete ...

NTFS Recovery Toolkit

NTFS recovery toolkit contains
file recovery tool, partition
recovery tool, partition
manager tool and disk editor
utility.