Carregant...

Codi QR

Programming with Higher-Order Logic /

Dades bibliogràfiques
Autor principal:	Miller,, Dale
Altres autors:	Nadathur,, Gopalan
Format:	Printed Book
Idioma:	English
Publicat:	New York: Cambridge University Press, 2012.
Matèries:	Computer science- Computer programming Logical programming

Ítems similars

Inductive logic programming
per: Muggleton, Stephen
Publicat: (1992)

Logic and prolog programming /
per: Kaushik,Saroj
Publicat: (2008)

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

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

Logic of programming
per: Hehner, Eric C R
Publicat: (1991)

Logic of programming /
per: Hehner, Eric C. R.
Publicat: (1991)

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

Logic programming :
per: Deville, Yves
Publicat: (1986)

The logic of programming
per: Hehner, Eric C R; Author
Publicat: (1984)

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

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

Programming with FORTRAN 77
per: Dhaliwal, R S, et al.
Publicat: (1989)

C Programming Padichuthudangam/
per: Achuthsankar S Nair, et al.
Publicat: (1998)

Systems programming
per: Donovan, John J
Publicat: (1972)

Modular programming
per: Maynard, Jeff
Publicat: (1972)

Unix network programming
per: Stevens, W Richard; Author
Publicat: (1999)

Micro-prolog: programming in logic /
per: Clark, K L
Publicat: (1987)

Computer programming in Cobol
per: Rajaraman, V.
Publicat: (1981)

Programming the 6809
per: Zaks, Rodnay
Publicat: (1982)

Programming in BASICS
per: Balagurusamy,E
Publicat: (1992)

C,C++, C# Programming concepts
per: SHILBHADRA DAS GUPTA
Publicat: (2013)

Advanced programming
per: Lawrence, David
Publicat: (1983)

Systems programming
per: Donovan, John J
Publicat: (1972)

Bayesian programming
per: Bessiere, Pierre...[et.al]
Publicat: (2014)

Programming with C++ /
per: Ravichandran, D.
Publicat: (1996)

The Science of programming
per: Gries, David
Publicat: (1981)

Programming Pearls
per: Jon Bentley
Publicat: (2007)

Programming in C++
per: KAM/P
Publicat: (2013)

Logics for computer science
per: Singh, Arindama
Publicat: (2004)

Theoretical introduction to programming
per: Mills, Bruce
Publicat: (2006)

Rucursive programming techniques
per: Burge, William H
Publicat: (1975)

Learn to Program with Python
per: Irv Kalb
Publicat: (2016)

C programming : padichuthudangam /
per: Achuthsankar S.Nair, et al.
Publicat: (2000)

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

Computer programming in C /
per: Rajaraman, V.
Publicat: (2001)

Computer programming in C /
per: Rajaraman, V.
Publicat: (2001)

Computer programming in C /
per: Rajaraman, V.
Publicat: (2001)

Computer programming in C
per: Rajaraman, V
Publicat: (1999)

The UNIX programming environment/
per: Kernighan, Brian W.
Publicat: (1984)

ABC's of computer programming
per: Lytel, Allan Herbert
Publicat: (1962)