Studies in automatic programming logic

Studies in automatic programming logic

Saved in:

Bibliographic Details
Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Book
Published:	New York North-Holland 1977
Series:	Artificial intelligence series The Computer science library
Subjects:	Automatic programming (Computer science) Computer programs
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatic program construction techniques
Published: (1984)

Automatic quantum computer programming a genetic programming approach
by: Spector, Lee 1947-
Published: (2004)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

The logical basis for computer programming
by: Manna, Zohar
Published: (1985)

Automatic programming applied to VLSI CAD software a case study
by: Setliff, Dorothy E. 1958-
Published: (1990)

The deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Parallel logic programming
by: Tick, Evan 1959-
Published: (1991)

Programming for an automatic digital calculator
by: Booth, Kathleen H. V
Published: (1958)

Parallel logic programming in PARLOG the language and its implementation
by: Gregory, Steve
Published: (1987)

Constraint logic programming using ECLiPSe
by: Apt, Krzysztof R. 1949-
Published: (2007)

Programming logic
by: Leeson, Marjorie
Published: (1988)

Programming logics an introduction to verification and semantics
by: Gumb, Raymond D
Published: (1989)

Computational logic logic programming and beyond
Published: (2002)

Programming and coding for automatic digital computers
by: Evans, George W. 1920- George William
Published: (1961)

Genetic programming on the automatic evolution of computer programs and its applications
Published: (1998)

Automatic re-engineering of software using gonetic programming
by: Ryan, Conor 1972-
Published: (2000)

Logic programming and knowledge engineering
by: Amble, Tore 1945-
Published: (1987)

Logical derivation of computer programs
by: Windekrecht, Thomas G
Published: (1999)

Foundations of logic programming
by: Lloyd, J. W. (John Wylied1947-
Published: (1984)

The Journal of logic programming
Published: (1984)

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

Logic tools of programming
by: Pace, Philip
Published: (1987)

Automatic algorithm recognition and replacement a new approach to program optimization
by: Metzger, Robert C.
Published: (2000)

The journal of logic and algebraic programming
Published: (2001)

Systems programming in parallel logic languages
by: Foster, Ian 1959-
Published: (1990)

Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988)

Constraints in computational logics theory and applications proceedings of the ... held on September 5 - 8, 1999
Published: (2001)

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

Instructor's guide programming logic
by: Leeson, Marjorie M
Published: (1983)

Computer programming logic using flowcharts
by: Farrell, Joyce M
Published: (1995)

Cartesian genetic programming
Published: (2011)

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

Hanbdook for automatic computation
Published: (1967)

Non-deterministic concurrent logic programming in Pandora
by: Bahgat, Reem
Published: (1993)

Parallel logic programming in PARLOG the language and its implementation
by: Gregory, Steve
Published: (1987)

Multiparadigm programming in Leda
by: Budd, Timothy
Published: (1995)

Programming in OCCAM
by: Jones, Geraint 1957-
Published: (1987)

VISUAL C#. net Programming
by: Sellappan, P.
Published: (2006)

Simple program design a step by step approach
by: Robertson, Lesley Anne
Published: (1991)

Simple program design a step by step approach
by: Robertson, Lesley Anne
Published: (2000)