Programming with Higher-Order Logic

Programming with Higher-Order Logic

書誌詳細
第一著者:	Dale Miller, Gopalan Nadathur
フォーマット:	電子媒体 eBook
言語:	English
出版事項:	Cambridge University Press, 08/05/2012
版:	1
主題:	Logic, categories and Sets Programming Languages and Applied Logic Electronic books
オンライン･アクセス:	Full text available on Cambridge University Press Off-campus access

類似資料

An Introduction to Category Theory
著者:: Harold Simmons
出版事項: (2012)

An Introduction to Gödel's Theorems
著者:: Peter Smith
出版事項: (2013)

Lambda Calculus with Types
著者:: Henk Barendregt, Wil Dekkers, Richard Statman
出版事項: (2013)

Kurt Gödel and the Foundations of Mathematics
著者:: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
出版事項: (2011)

Practical Foundations for Programming Languages
著者:: Robert Harper
出版事項: (2013)

Programming logic and design : comprehensive /
著者:: Farrell, Joyce
出版事項: (2011)

Transitions and Trees
著者:: Hans Hüttel
出版事項: (2012)

Nominal Sets
著者:: Andrew M. Pitts
出版事項: (2013)

Pearls of Functional Algorithm Design
著者:: Richard Bird
出版事項: (2013)

Systematic Program Design
著者:: Yanhong Annie Liu
出版事項: (2013)

Fuzzy sets and fuzzy logic : theory and applications /
著者:: Klir, George J., 1932-
出版事項: (2015)

Programming in Visual Basic 2010
著者:: Jim McKeown
出版事項: (2012)

Basics of logic /
著者:: Barker, Stephen Francis
出版事項: (1986)

Steps in Scala
著者:: Christos K. K. Loverdos, Apostolos Syropoulos
出版事項: (2012)

Modeling in Event-B
著者:: Jean-Raymond Abrial
出版事項: (2013)

Our logic for discussion and persuasion /
著者:: Ha, Byunghak
出版事項: (2000)

Logic Journal of the IGPL

Introduction to Bisimulation and Coinduction
著者:: Davide Sangiorgi
出版事項: (2012)

Introduction to logic /
著者:: Copi, Irving M.
出版事項: (1986)

The logic of language
著者:: Seuren, Pieter A. M.

Digital designing with programmable logic devices /
著者:: Carter, John W., 1951-
出版事項: (1997)

Web Data Management
著者:: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
出版事項: (2012)

Persuasion is logic /
著者:: Hoon-tae, Jeong

Logic and computer design fundamentals /
著者:: Mano, M. Morris, 1927-
出版事項: (2000)

Logic, language, and meaning /
著者:: Gamut, L. T. F.
出版事項: (1991)

Symbolic logic /
著者:: Copi, Irving M.
出版事項: (1979)

Digital logic and computer design /
著者:: Mano, M. Morris, 1927-
出版事項: (1979)

Digital logic and computer design /
著者:: Mano, M. Morris, 1927-
出版事項: (1979)

Journal of Logic and Computation

Fundamentals of digital logic with VHDL design /
著者:: Brown, Stephen D.
出版事項: (2000)

The logic of persuasion : 10 logic tools to train your speech and writing /
著者:: Kim, Yongkyu
出版事項: (2007)

Digital logic and computer design /
著者:: Mano, M. Morris, 1927-
出版事項: (1979)

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

Implementation of fuzzy logic in autonomous irrigation system for efficient use of water
著者:: Haque, Mohammad Mahbubul, 等
出版事項: (2018)

Study and analysis of current trends in advertising in Bangladesh- a case study on Film Logic
著者:: Hasan, Shadman
出版事項: (2019)

A study of using fuzzy logic based system for adaptation of precise insulin dosage for type II diabetes patients
著者:: Prima, Afroza Afrin
出版事項: (2019)

Natural language understanding /
著者:: Allen, James, 1950-
出版事項: (1995)

Natural language understanding /
著者:: Allen, James, 1950-
出版事項: (1995)

Philosophia Mathematica

Philosophia Mathematica