yr 〜
yr

Search results 28

Deductive Systems in Traditional and Modern Logic

Deductive Systems in Traditional and Modern Logic
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library

Deduction system and knowledge representation structure

Deduction system and knowledge representation structure
Paper博士論文
小川均 [著]<UT51-53-I95>
National Diet Library

The logic of social systems; [a unified, deductive, system-based approach to social science] Foreword by Kenneth E. Boulding. [1st ed.] (The Jossey-Bass behavioral science series)

The logic of social systems; [a unified, deductive, system-based approach to social science] Foreword by Kenneth E. Boulding. [1st ed.] (The Jossey-Bass behavioral science series)
Paper図書
Jossey-Bass Publishers1974.<EA3-32>
National Diet LibraryOther Libraries in Japan

Deductive systems and the decidability problem for hybrid logics : pbk. Jagiellonian University Press

Deductive systems and the decidability problem for hybrid logics : pbk. Jagiellonian University Press
Paper図書
Michał ZawidzkiŁódź University Pressc2014
Other Libraries in Japan

Deductive systems

Deductive systems
Paper図書
Zohar Manna, Richard WaldingerAddison-Wesleyc1990
Other Libraries in Japan

Compiled labelled deductive systems : a uniform presentation of non-classical logics

Compiled labelled deductive systems : a uniform presentation of non-classical logics
Paper図書
Krysia Broda ... [et al.]Research Studies Pressc2004
Other Libraries in Japan

Deduction systems

Deduction systems
Paper図書
Rolf Socher-Ambrosius, Patricia JohannSpringerc1997
Other Libraries in Japan

Labelled deductive systems v. 1

Labelled deductive systems v. 1
Paper図書
Dov M. GabbayOxford University Press1996-
Other Libraries in Japan

Deduction systems in artificial intelligence : E. Horwood : Halsted Press

Deduction systems in artificial intelligence : E. Horwood : Halsted Press
Paper図書
editors, Karl Hans Bläsius, Hans-Jürgen BürckertEllis Horwood Limited1989
Other Libraries in Japan

Logical dependency in quantification : a study conducted within the framework of labelled deductive systems, with special reference to English and Mandarin Chinese

Logical dependency in quantification : a study conducted within the framework of labelled deductive systems, with special reference to English and Mandarin Chinese
Paper図書
Yan Jiangsupplied by the British Library Document Supply Centre1995
Other Libraries in Japan

PARALLEL PROCESSING APPROACH FOR IMPLEMENTING HIGH-PERFORMANCE FIRST-ORDER LOGIC DEDUCTION SYSTEMS. (ANL ; ANL/MCS-TM-131)

PARALLEL PROCESSING APPROACH FOR IMPLEMENTING HIGH-PERFORMANCE FIRST-ORDER LOGIC DEDUCTION SYSTEMS. (ANL ; ANL/MCS-TM-131)
Paper図書
JINDAL, A.(et al.)Argonne National Laboratory(Argonne National Laboratory)1989.
Other Libraries in Japan

Theory of deductive systems and its applications

Theory of deductive systems and its applications
Paper図書
S.Yu. Maslov ; translated by Michael Gelfond and Vladimir LifschitzMIT Pressc1987
Other Libraries in Japan

Reasoning from incomplete knowledge in a procedural deduction system

Reasoning from incomplete knowledge in a procedural deduction system
Paper図書
Robert C. MooreGarland Pub.1980
Other Libraries in Japan

Deductive systems : finite and non-Euclidean geometries

Deductive systems : finite and non-Euclidean geometries
Paper図書
Garth E. Runion, James R. LockwoodNational Council of Teachers of Mathematicsc1978
Other Libraries in Japan

The logic of social systems : [a unified, deductive, system-based approach to social science] [Reprint ed.]

The logic of social systems : [a unified, deductive, system-based approach to social science] [Reprint ed.]
Paper図書
Alfred Kuhn ; foreword by Kenneth E. BouldingUMI Books of Demand1974
Other Libraries in Japan

The logic of social systems : [a unified, deductive, system-based approach to social science] [1st ed.]

The logic of social systems : [a unified, deductive, system-based approach to social science] [1st ed.]
Paper図書
Alfred Kuhn ; foreword by Kenneth E. BouldingJossey-Bass Publishers1974
Other Libraries in Japan

A semantical theory and several deductive systems for Universally free logic

A semantical theory and several deductive systems for Universally free logic
Paper図書
by Charles T. ShipleyUniversity Microfilms International1972
Other Libraries in Japan

Natural language understanding and cognitive robotics

Natural language understanding and cognitive robotics
Paper図書
Masao Yokota.CRC Press, Taylor & Francis Group[2020]<M121-D9>
National Diet Library

Hybrid logic and its proof-theory (Applied logic series ; v. 37)

Hybrid logic and its proof-theory (Applied logic series ; v. 37)
Paper図書
by Torben Braüner.Springerc2011.<MA41-B34>
National Diet LibraryOther Libraries in Japan

Addison-Wesley series in computer science

Addison-Wesley series in computer science
Paper図書
Addison-Wesley
Other Libraries in Japan
  • Related Material...g in VAX-BASIC Deductive systems Programming in assembly langu...