Loading...

QR Code

Programming with Higher-Order Logic /

Bibliographic Details
Main Author:	Miller,, Dale
Other Authors:	Nadathur,, Gopalan
Format:	Printed Book
Language:	English
Published:	New York: Cambridge University Press, 2012.
Subjects:	Computer science- Computer programming Logical programming

Similar Items

Inductive logic programming
by: Muggleton, Stephen
Published: (1992)

Logic and prolog programming /
by: Kaushik,Saroj
Published: (2008)

Higher order logic theorem proving and its applications
Published: (1993)

Prolog versus you: an introduction to logic programming
by: Edman, Anneli; Author, et al.
Published: (1989)

Logic of programming
by: Hehner, Eric C R
Published: (1991)

Logic of programming /
by: Hehner, Eric C. R.
Published: (1991)

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

Logic programming :
by: Deville, Yves
Published: (1986)

The logic of programming
by: Hehner, Eric C R; Author
Published: (1984)

Theory and problems of programming with structured COBOL
by: Lawrence, R.
Published: (1986)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-

Programming with FORTRAN 77
by: Dhaliwal, R S, et al.
Published: (1989)

C Programming Padichuthudangam/
by: Achuthsankar S Nair, et al.
Published: (1998)

Systems programming
by: Donovan, John J
Published: (1972)

Modular programming
by: Maynard, Jeff
Published: (1972)

Unix network programming
by: Stevens, W Richard; Author
Published: (1999)

Micro-prolog: programming in logic /
by: Clark, K L
Published: (1987)

Computer programming in Cobol
by: Rajaraman, V.
Published: (1981)

Programming the 6809
by: Zaks, Rodnay
Published: (1982)

Programming in BASICS
by: Balagurusamy,E
Published: (1992)

C,C++, C# Programming concepts
by: SHILBHADRA DAS GUPTA
Published: (2013)

Advanced programming
by: Lawrence, David
Published: (1983)

Systems programming
by: Donovan, John J
Published: (1972)

Bayesian programming
by: Bessiere, Pierre...[et.al]
Published: (2014)

Programming with C++ /
by: Ravichandran, D.
Published: (1996)

The Science of programming
by: Gries, David
Published: (1981)

Programming Pearls
by: Jon Bentley
Published: (2007)

Programming in C++
by: KAM/P
Published: (2013)

Logics for computer science
by: Singh, Arindama
Published: (2004)

Theoretical introduction to programming
by: Mills, Bruce
Published: (2006)

Rucursive programming techniques
by: Burge, William H
Published: (1975)

Learn to Program with Python
by: Irv Kalb
Published: (2016)

C programming : padichuthudangam /
by: Achuthsankar S.Nair, et al.
Published: (2000)

A Textbook on computer programming :With industrial and Engineering applications
by: Ramani, S.
Published: (1981)

Computer programming in C /
by: Rajaraman, V.
Published: (2001)

Computer programming in C /
by: Rajaraman, V.
Published: (2001)

Computer programming in C /
by: Rajaraman, V.
Published: (2001)

Computer programming in C
by: Rajaraman, V
Published: (1999)

The UNIX programming environment/
by: Kernighan, Brian W.
Published: (1984)

ABC's of computer programming
by: Lytel, Allan Herbert
Published: (1962)