Logic programming & type theory

QR Code

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)

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

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

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

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

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

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

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

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

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

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

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

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

Type companion for the digital artist
Published: (2002)

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

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

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

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

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

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

Understanding and managing type 2 diabetes
Published: (2007)

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

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

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

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

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

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)

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

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

The complete manual of typography : a guide to setting perfect type
by: Felici, James
Published: (2003)

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

Typography
Published: (2007)

What is typography?
by: Jury, David
Published: (2006)

Homage to the alphabet a typeface sourcebook
Published: (1990)

Introduction to logic design
by: Yanushkevich, Svetlana N., et al.
Published: (2008)