Programming with Higher-Order Logic

Programming with Higher-Order Logic

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Dale Miller, Gopalan Nadathur
বিন্যাস:	বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
ভাষা:	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