Cover Image

An object-based logic programming language /

Bibliographic Details
Main Author:	Arimilli, Venkataramana Rao, 1960-
Format:	Thesis eBook
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 1986.
Subjects:	Computer programming. Logic, Symbolic and mathematical. Programming languages (Electronic computers) Major computer science.
Online Access:	Link to OAKTrust copy

Similar Items

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

Logics of specification languages /
Published: (2008)

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

Logic programming : a classified bibliography /
by: Balbin, Isaac
Published: (1985)

The logic of partial information /
by: Nait Abdallah, Areski, 1950-
Published: (1995)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

A programming logic : with an introduction to the PL/CV verifier /
by: Constable, R. L. (Robert L.)
Published: (1978)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

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

An introduction to the PL/CV2 programming logic /
by: Constable, R. L. (Robert L.)
Published: (1982)

Semantics and logics of computation /
Published: (1997)

Logic and specification : extending VDM-SL for advanced formal specification /
by: Middelburg, Cornelis A.
Published: (1993)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

Temporal logics and their applications /
Published: (1987)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

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

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /
Published: (1994)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published: (1994)

Programming language implementation and logic programming : proceedings /
Published: (1990)

Logic and structured design for computer programmers /
by: Rood, Harold J.
Published: (2001)

Logical frameworks /
Published: (1991)

Logic programming and its applications /
Published: (1986)

Logic and computer science /
Published: (1990)

Logic, language, and computation /
Published: (1996)

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

Truth, deduction, and computation : logic and semantics for computer science /
by: Davis, Ruth E.
Published: (1989)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings /
Published: (1993)

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Published: (1992)

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
Published: (1991)