Nalaganje...

QR koda

Programming with Higher-Order Logic /

Bibliografske podrobnosti
Glavni avtor:	Miller,, Dale
Drugi avtorji:	Nadathur,, Gopalan
Format:	Printed Book
Jezik:	English
Izdano:	New York: Cambridge University Press, 2012.
Teme:	Computer science- Computer programming Logical programming

Podobne knjige/članki

Inductive logic programming
od: Muggleton, Stephen
Izdano: (1992)

Logic and prolog programming /
od: Kaushik,Saroj
Izdano: (2008)

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

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

Logic of programming
od: Hehner, Eric C R
Izdano: (1991)

Logic of programming /
od: Hehner, Eric C. R.
Izdano: (1991)

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

Logic programming :
od: Deville, Yves
Izdano: (1986)

The logic of programming
od: Hehner, Eric C R; Author
Izdano: (1984)

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

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

Programming with FORTRAN 77
od: Dhaliwal, R S, et al.
Izdano: (1989)

C Programming Padichuthudangam/
od: Achuthsankar S Nair, et al.
Izdano: (1998)

Systems programming
od: Donovan, John J
Izdano: (1972)

Modular programming
od: Maynard, Jeff
Izdano: (1972)

Unix network programming
od: Stevens, W Richard; Author
Izdano: (1999)

Micro-prolog: programming in logic /
od: Clark, K L
Izdano: (1987)

Computer programming in Cobol
od: Rajaraman, V.
Izdano: (1981)

Programming the 6809
od: Zaks, Rodnay
Izdano: (1982)

Programming in BASICS
od: Balagurusamy,E
Izdano: (1992)

C,C++, C# Programming concepts
od: SHILBHADRA DAS GUPTA
Izdano: (2013)

Advanced programming
od: Lawrence, David
Izdano: (1983)

Systems programming
od: Donovan, John J
Izdano: (1972)

Bayesian programming
od: Bessiere, Pierre...[et.al]
Izdano: (2014)

Programming with C++ /
od: Ravichandran, D.
Izdano: (1996)

The Science of programming
od: Gries, David
Izdano: (1981)

Programming Pearls
od: Jon Bentley
Izdano: (2007)

Programming in C++
od: KAM/P
Izdano: (2013)

Logics for computer science
od: Singh, Arindama
Izdano: (2004)

Theoretical introduction to programming
od: Mills, Bruce
Izdano: (2006)

Rucursive programming techniques
od: Burge, William H
Izdano: (1975)

Learn to Program with Python
od: Irv Kalb
Izdano: (2016)

C programming : padichuthudangam /
od: Achuthsankar S.Nair, et al.
Izdano: (2000)

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

Computer programming in C /
od: Rajaraman, V.
Izdano: (2001)

Computer programming in C /
od: Rajaraman, V.
Izdano: (2001)

Computer programming in C /
od: Rajaraman, V.
Izdano: (2001)

Computer programming in C
od: Rajaraman, V
Izdano: (1999)

The UNIX programming environment/
od: Kernighan, Brian W.
Izdano: (1984)

ABC's of computer programming
od: Lytel, Allan Herbert
Izdano: (1962)