Journal of Logic and Computation

Journal of Logic and Computation

Manylion Llyfryddiaeth
Fformat:	Electronig Cylchgrawn
Iaith:	English
Cyhoeddwyd:	Dov Gabbay
Pynciau:	Computer Architecture and Logic Design
Mynediad Ar-lein:	Full text available on Oxford Academic Off-campus access

Eitemau Tebyg

Programming logic and design : comprehensive /
gan: Farrell, Joyce
Cyhoeddwyd: (2011)

Logic and computer design fundamentals /
gan: Mano, M. Morris, 1927-
Cyhoeddwyd: (2000)

Digital designing with programmable logic devices /
gan: Carter, John W., 1951-
Cyhoeddwyd: (1997)

Digital logic and computer design /
gan: Mano, M. Morris, 1927-
Cyhoeddwyd: (1979)

Digital logic and computer design /
gan: Mano, M. Morris, 1927-
Cyhoeddwyd: (1979)

Logic Journal of the IGPL

Basics of logic /
gan: Barker, Stephen Francis
Cyhoeddwyd: (1986)

Digital logic and computer design /
gan: Mano, M. Morris, 1927-
Cyhoeddwyd: (1979)

Fundamentals of digital logic with VHDL design /
gan: Brown, Stephen D.
Cyhoeddwyd: (2000)

Our logic for discussion and persuasion /
gan: Ha, Byunghak
Cyhoeddwyd: (2000)

Introduction to logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1986)

Persuasion is logic /
gan: Hoon-tae, Jeong

Programming with Higher-Order Logic
gan: Dale Miller, Gopalan Nadathur
Cyhoeddwyd: (2012)

The logic of language
gan: Seuren, Pieter A. M.

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1979)

Contemporary logic design /
gan: Katz, Randy H., 1955-
Cyhoeddwyd: (1994)

Logic, language, and meaning /
gan: Gamut, L. T. F.
Cyhoeddwyd: (1991)

Logic of paradox : (the well of wisdom 5) /
gan: Nozaki, Akihiro

Fundamentals of digital logic with Verilog design /
gan: Brown, Stephen D
Cyhoeddwyd: (2008)

The logic of persuasion : 10 logic tools to train your speech and writing /
gan: Kim, Yongkyu
Cyhoeddwyd: (2007)

Fuzzy sets and fuzzy logic : theory and applications /
gan: Klir, George J., 1932-
Cyhoeddwyd: (2015)

Digital design : a pragmatic approach /
gan: Johnson, Everett L.
Cyhoeddwyd: (1987)

Digital design /
gan: Mano, M. Morris, 1927-
Cyhoeddwyd: (1991)

Implementation of fuzzy logic in autonomous irrigation system for efficient use of water
gan: Haque, Mohammad Mahbubul, et al.
Cyhoeddwyd: (2018)

Study and analysis of current trends in advertising in Bangladesh- a case study on Film Logic
gan: Hasan, Shadman
Cyhoeddwyd: (2019)

An Introduction to Gödel's Theorems
gan: Peter Smith
Cyhoeddwyd: (2013)

Digital design : basic concepts and principles /
gan: Karim, Mohammad A.
Cyhoeddwyd: (2008)

A study of using fuzzy logic based system for adaptation of precise insulin dosage for type II diabetes patients
gan: Prima, Afroza Afrin
Cyhoeddwyd: (2019)

An Introduction to Category Theory
gan: Harold Simmons
Cyhoeddwyd: (2012)

Advanced digital design with the Verilog HDL /
gan: Ciletti, Michael D.
Cyhoeddwyd: (2009)

Fuzzy logic: a contemporary technique in refining physicians’ prescribed total daily insulin dosage for type 2 diabetes patients
gan: Tareq, Md. Tariqul Islam
Cyhoeddwyd: (2019)

Lambda Calculus with Types
gan: Henk Barendregt, Wil Dekkers, Richard Statman
Cyhoeddwyd: (2013)

Quantum computer simulator based on qutrits and the circuit model of quantum computation
gan: Kaonain, Md. Shamsul
Cyhoeddwyd: (2011)

The social logic of space /
gan: Hillier, Bill

Modern VLSI design : system-on-chip design /
gan: Wolf, Wayne
Cyhoeddwyd: (1997)

Nominal Sets
gan: Andrew M. Pitts
Cyhoeddwyd: (2013)

Practical Foundations for Programming Languages
gan: Robert Harper
Cyhoeddwyd: (2013)

Transitions and Trees
gan: Hans Hüttel
Cyhoeddwyd: (2012)

Pearls of Functional Algorithm Design
gan: Richard Bird
Cyhoeddwyd: (2013)

Philosophia Mathematica