logic

Software

Logic Cafe App 1.0.11 (Mobile)

October 16, 2010 12:00am PDT

Welcome to the Logic Cafe App for iPhone/iPad/iTouch - the official App for www.logic-cafe.com.Keep up to date with Logic News, Tutorials, Twitter and more in an app designed for users of Apple's...

Provided by: MobBase

White Papers

Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity

June 13, 2009 12:00am PDT

Equilibrium logic is an approach to non-monotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic...

Provided by: Universidad Politecnica de Madrid

White Papers

Logical Step-Indexed Logical Relations

May 29, 2009 12:00am PDT

The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...

Provided by: IT University of Copenhagen

Blog Posts

Introducing Dell's EqualLogic PS6000 series arrays

April 10, 2009 10:54pm PDT

As the company has done with its servers, Dell is constantly improving its EqualLogic line of storage. Scott Lowe, who is a long-time fan of EqualLogic, provides a high level compare and contrast...

Blog Posts

Sharing the event logic between controls in VB.NET

October 19, 2007 12:05am PDT

Whenever you write the code logic that may be used for more than one control, it makes sense to try to save time by creating only one procedure that will handle the event and perform that logic....

3 Latest comment by dev.sendmail@...

Software

Logic 407: Producing With Folders 1.1 (Mobile)

June 20, 2011 12:00am PDT

Did you know that you can record into Logics folders, edit with folders, mix with folders and even rearrange your tune with folders? You can! ... and David Earl (a.k.a. sflogicninja) shows you all...

Provided by: appOmator.com

Downloads

Logic 407: Producing With Folders 1.1 (Mobile)

June 20, 2011 12:00am PDT

Did you know that you can record into Logics folders, edit with folders, mix with folders and even rearrange your tune with folders? You can! ... and David Earl (a.k.a. sflogicninja) shows you all...

Provided by: appOmator.com

White Papers

Customizing Security for Oracle WebLogic Server MBeans: A Quick Tour of Your Options for Ensuring Security for JMX Operations in Oracle WebLogic Server

February 1, 2010 12:00am PST

Java Management Extensions (JMX) clients are used to both update the Oracle WebLogic Server configuration and monitor the running Oracle WebLogic Server domain. Oracle WebLogic Server provides a...

Provided by: Oracle

Software

LouderLogic for iPhone 1.3 (Mobile)

November 8, 2011 12:00am PST

********************* LouderLogic Sweepstakes! **********************Install LouderLogic, register for the LouderLogic newsletter whenprompted, and be automatically entered to win one of four $150...

Provided by: McDSP

Downloads

LouderLogic for iPhone 1.3 (Mobile)

November 8, 2011 12:00am PST

********************* LouderLogic Sweepstakes! **********************Install LouderLogic, register for the LouderLogic newsletter whenprompted, and be automatically entered to win one of four $150...

Provided by: McDSP

White Papers

Higher-Order Representation of Substructural Logics

July 26, 2010 12:00am PDT

The authors present a technique for higher-order representation of sub-structural logics such as linear or modal logic. They show that such logics can be encoded in the (ordinary) Logical...

Provided by: Carnegie Mellon University

Software

LogicParser 1.1 (Mobile)

October 14, 2011 12:00am PDT

LogicParser is a simple application that solve and compare logic expressions.With LogicParser is easy and intuitive to get the truth values of complex boolean expressions and show respective truth...

Provided by: Manlio Valenti

White Papers

Effective Business Processes and Policy With BEA AquaLogic Business Process Management 6.0 and BEA AquaLogic Enterprise Security 3.0

January 1, 2008 12:00am PST

BEA AquaLogic Business Process Management provides an excellent environment for the modeling and automation of processes for efficiency and cost reduction. However, these benefits can become...

Provided by: BEA Systems

Software

2Logic2 1.1.3 (Mobile)

November 12, 2009 12:00am PST

Find out if you are logic !Use your brain to answer the different questions, and 2Logic2 will reveal if you are closer to a donkey or Einstein. Check out your results and redo the test to try to...

Provided by: SEB

Software

WebLogic: The Definitive Guide 1.0 (Mobile)

October 2, 2009 12:00am PDT

By Jon Mountjoy, Avinash ChughPublished by O'Reilly Media (http://oreilly.com/catalog/9780596004323/)BEA's WebLogic Server implements the full range of J2EE technologies, and includes many...

Provided by: O'Reilly Media, Inc.

White Papers

Overlapping Rules and Logic Variables in Functional Logic Programs

June 21, 2006 12:00am PDT

Functional logic languages extend purely functional languages with two features: operations defined by overlapping rules and logic variables in both defining rules and expressions to evaluate. In...

Provided by: Springer Science+Business Media

Software

Qube Logic - cubic logic puzzle 1.0 (Mobile)

August 13, 2010 12:00am PDT

Qube Logic is a cute and colorful CARVING puzzle game based on logic! Find the shape hidden in the cubes.Use the vertical and horizontal numbers as a clue and complete the hidden shape by...

Provided by: PENQE

Software

Speak Logic Information Analysis Desktop 2012 R2 (Windows)

February 3, 2012 12:00am PST

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and...

Provided by: The Speak Logic Project

Downloads

Speak Logic Information Analysis Desktop 2012 R2 (Windows)

February 3, 2012 12:00am PST

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and...

Provided by: The Speak Logic Project

Software

LouderLogic Free 1.3 (Mobile)

November 29, 2011 12:00am PST

********************* LouderLogic Sweepstakes! **********************Use LouderLogic Free for 30 minutes, register for the LouderLogicnewsletter when prompted, and be automatically entered to win...

Provided by: McDSP