Professional business directory

Find the best businesses and services near you. Discover verified companies across all industries.

Category: ltd-logic

ltd-logic Oct 16

LATEST ADVANCES IN INDUCTIVE LOGIC PROGRAMMING - MUGGLETON STEPHEN & WATANABE HIROAKI

AUTHOR AFFILIATION : IMPERIAL COLLEGE LONDON, UK PUB DATE : 30-Oct-14 ONLINE RELEASE DATE : 4-

View Details
ltd-logic Oct 16

DECISION THEORY WITH IMPERFECT INFORMATION - AZERBAIJAN STATE OIL ACADEMY, AZERBAIJAN

AUTHOR AFFILIATION : ALIEV RAFIK A & HUSEYNOV OLEG H PUB DATE : 8-Aug-14 ONLINE RELEASE DATE :

View Details
ltd-logic Oct 16

SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES - THE UNIV OF CHICAGO, USA

AUTHOR AFFILIATION : HIRSCHFELDT DENIS R PUB DATE : 18-Jul-14 ONLINE RELEASE DATE : 1-Aug-14

View Details
ltd-logic Oct 16

E-RECURSION, FORCING AND C*-ALGEBRAS - CHONG CHITAT ET AL

AUTHOR AFFILIATION : NUS, S'PORE PUB DATE : 28-May-14 ONLINE RELEASE DATE : 6-Jun-14 Print

View Details
ltd-logic Oct 16

LOGIC NON-VOLATILE MEMORY: THE NVM SOLUTIONS FOR EMEMORY - HSU CHARLES CHING-HSIANG

AUTHOR AFFILIATION : FOUNDER & CHAIRMAN OF EMEMORY TECHNOLOGY INC., TAIWAN PUB DATE : 18-Mar-14

View Details
ltd-logic Oct 16

FORCING FOR MATHEMATICIANS - WEAVER NIK

AUTHOR AFFILIATION : WASHINGTON UNIV, USA PUB DATE : 24-Jan-14 ONLINE RELEASE DATE : 18-Feb-14

View Details
ltd-logic Oct 16

NOTES ON FORCING AXIOMS - TODORCEVIC STEVO

AUTHOR AFFILIATION : UNIV OF TORONTO, CANADA PUB DATE : 26-Dec-13 ONLINE RELEASE DATE : 18-Dec

View Details
ltd-logic Oct 16

INFINITY AND TRUTH - CHONG CHITAT ET AL

AUTHOR AFFILIATION : NUS, S'PORE PUB DATE : 28-Nov-13 ONLINE RELEASE DATE : 10-Dec-13 Print

View Details
ltd-logic Oct 16

NON-AXIOMATIC LOGIC: A MODEL OF INTELLIGENT REASONING - WANG PEI

AUTHOR AFFILIATION : TEMPLE UNIV, USA PUB DATE : 3-May-13 ONLINE RELEASE DATE : 22-Apr-13 P

View Details
ltd-logic Oct 16

PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE - DOWNEY ROD ET AL

AUTHOR AFFILIATION : VICTORIA UNIV OF WELLINGTON, NEW ZEALAND PUB DATE : 7-May-13 ONLINE RELEA

View Details
ltd-logic Oct 16

METHODS FOR DECISION MAKING IN AN UNCERTAIN ENVIRONMENT - PROCEEDINGS OF THE XVII SIGEF CONGRESS - GIL-ALUJA JAIME ET AL

AUTHOR AFFILIATION : ROYAL ACADEMY OF ECONOMIC & FINANCIAL SCIENCES, SPAIN PUB DATE : 28-May-12

View Details