Logic programming & type theory [

QR Code

Logic programming & type theory [

This book is a complete package for knowledge sharing on logic programming & type theory

Bibliographic Details
Main Authors:	Singleton, Velva (Author), Saxton, Liza (Author)
Format:	Book
Language:	English
Published:	New York : College Publishing House , 2014
Subjects:	Logic programming Type theory
Online Access:	World Technologies

Similar Items

A first course in type theory [
by: Singleton, Velva
Published: (2012)

Logic programming [
by: Saxton, Liza
Published: (2014)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

Just enough programming logic and design
by: Farrell, Joyce
Published: (2013)

An object-oriented approach to programming logic and design
by: Farrell, Joyce
Published: (2006)

Logic and objects
by: McCabe, F. G. [ (Frank G.)] , 1953-
Published: (1992)

The anatomy of type : a graphic guide to 100 typefaces
by: Coles, Stephen, et al.
Published: (2012)

An inductive logic programming approach to statistical relational learning
by: Kersting, Kristian
Published: (2006)

The 3D type book
by: Jacquillat, Agathe, et al.
Published: (2011)

Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)

Computation as logic
by: Lalement, Rene
Published: (1993)

Type and typography : the designer's type book
by: Rosen, Ben
Published: (1976)

Mathematical aspects of logic programming semantics
by: Hitzler, Pascal, et al.
Published: (2011)

An introduction to logic programming through Prolog
by: Spivey, J. M.
Published: (1996)

Design/type : a seductive collection of alluring type designs
by: Burgess, Paul , 1969-, et al.
Published: (2012)

Thinking with type : a critical guide for designers, writers, editors, & students
by: Lupton, Ellen
Published: (2010)

Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)

Type [and] image : the language of graphic design
by: Meggs, Philip B.
Published: (1992)

Type companion for the digital artist
Published: (2002)

Working with computer type 4 : experimental typography
by: Carter, Rob
Published: (1997)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Logic : an introduction
by: Churchill, Robert Paul
Published: (1990)

Font, the sourcebook
by: Monem, Nadine
Published: (2008)

The electronic type catalog
by: Byers, Steve , 1976-
Published: (1991)

Data structures with abstract data types and pascal
by: Stubbs, Daniel F., et al.
Published: (1985)

Understanding and managing type 2 diabetes [
Published: (2007)

Logic primer
by: Allen, Colin, et al.
Published: (1992)

The elements of logic
by: Barker, Stephen Francis
Published: (1980)

Introduction to logic
by: Copi, Irving M.
Published: (1986)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2006)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2004)

Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)

Revival of the fittest : digital versions of classic typefaces
by: Annand, Carolyn, et al.
Published: (2000)

Logic in medicine
by: Phillips, Calbert I.
Published: (1995)

Typo : the beautiful world of fonts
by: Reyes, Fabiola, et al.
Published: (2007)

Typographic specimens : the great typefaces
by: Meggs, Philip B., et al.
Published: (1993)

A concise introduction to logic
by: Hurley, Patrick J. , 1942-
Published: (1984)

Dynamic logic [electronic resource]
by: Harel, David , 1950-, et al.
Published: (2000)

Logic : argument, refutation and proof
by: Purtill, Richard L. , 1931-
Published: (1979)