Programming with Higher-Order Logic

Programming with Higher-Order Logic

Chi tiết về thư mục
Tác giả chính:	Dale Miller, Gopalan Nadathur
Định dạng:	Điện tử eBook
Ngôn ngữ:	English
Được phát hành:	Cambridge University Press, 08/05/2012
Phiên bản:	1
Những chủ đề:	Logic, categories and Sets Programming Languages and Applied Logic Electronic books
Truy cập trực tuyến:	Full text available on Cambridge University Press Off-campus access

Những quyển sách tương tự

An Introduction to Category Theory
Bằng: Harold Simmons
Được phát hành: (2012)

An Introduction to Gödel's Theorems
Bằng: Peter Smith
Được phát hành: (2013)

Lambda Calculus with Types
Bằng: Henk Barendregt, Wil Dekkers, Richard Statman
Được phát hành: (2013)

Kurt Gödel and the Foundations of Mathematics
Bằng: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Được phát hành: (2011)

Practical Foundations for Programming Languages
Bằng: Robert Harper
Được phát hành: (2013)

Programming logic and design : comprehensive /
Bằng: Farrell, Joyce
Được phát hành: (2011)

Transitions and Trees
Bằng: Hans Hüttel
Được phát hành: (2012)

Nominal Sets
Bằng: Andrew M. Pitts
Được phát hành: (2013)

Pearls of Functional Algorithm Design
Bằng: Richard Bird
Được phát hành: (2013)

Fuzzy sets and fuzzy logic : theory and applications /
Bằng: Klir, George J., 1932-
Được phát hành: (2015)

Systematic Program Design
Bằng: Yanhong Annie Liu
Được phát hành: (2013)

Programming in Visual Basic 2010
Bằng: Jim McKeown
Được phát hành: (2012)

Basics of logic /
Bằng: Barker, Stephen Francis
Được phát hành: (1986)

Steps in Scala
Bằng: Christos K. K. Loverdos, Apostolos Syropoulos
Được phát hành: (2012)

Modeling in Event-B
Bằng: Jean-Raymond Abrial
Được phát hành: (2013)

Our logic for discussion and persuasion /
Bằng: Ha, Byunghak
Được phát hành: (2000)

Logic Journal of the IGPL

Introduction to Bisimulation and Coinduction
Bằng: Davide Sangiorgi
Được phát hành: (2012)

Introduction to logic /
Bằng: Copi, Irving M.
Được phát hành: (1986)

The logic of language
Bằng: Seuren, Pieter A. M.

Digital designing with programmable logic devices /
Bằng: Carter, John W., 1951-
Được phát hành: (1997)

Web Data Management
Bằng: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Được phát hành: (2012)

Persuasion is logic /
Bằng: Hoon-tae, Jeong

Logic and computer design fundamentals /
Bằng: Mano, M. Morris, 1927-
Được phát hành: (2000)

Logic, language, and meaning /
Bằng: Gamut, L. T. F.
Được phát hành: (1991)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1979)

Digital logic and computer design /
Bằng: Mano, M. Morris, 1927-
Được phát hành: (1979)

Digital logic and computer design /
Bằng: Mano, M. Morris, 1927-
Được phát hành: (1979)

Journal of Logic and Computation

Fundamentals of digital logic with VHDL design /
Bằng: Brown, Stephen D.
Được phát hành: (2000)

The logic of persuasion : 10 logic tools to train your speech and writing /
Bằng: Kim, Yongkyu
Được phát hành: (2007)

Digital logic and computer design /
Bằng: Mano, M. Morris, 1927-
Được phát hành: (1979)

Logic of paradox : (the well of wisdom 5) /
Bằng: Nozaki, Akihiro

Implementation of fuzzy logic in autonomous irrigation system for efficient use of water
Bằng: Haque, Mohammad Mahbubul, et al.
Được phát hành: (2018)

Study and analysis of current trends in advertising in Bangladesh- a case study on Film Logic
Bằng: Hasan, Shadman
Được phát hành: (2019)

A study of using fuzzy logic based system for adaptation of precise insulin dosage for type II diabetes patients
Bằng: Prima, Afroza Afrin
Được phát hành: (2019)

Natural language understanding /
Bằng: Allen, James, 1950-
Được phát hành: (1995)

Natural language understanding /
Bằng: Allen, James, 1950-
Được phát hành: (1995)

Philosophia Mathematica

Philosophia Mathematica