WorldCat Identities

University of Melbourne Department of Computer Science

Overview
Works: 26 works in 26 publications in 1 language and 26 library holdings
Publication Timeline
.
Most widely held works by University of Melbourne
Negation and Control in Prolog by Lee Naish( Book )

1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide

Conceptual schemas applied to deductive databases by Philip W Dart( Book )

in English and held by 1 WorldCat member library worldwide

A logic programming language scheme by Joxan Jaffar( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

A tree-based algorithm for distributed mutual exclusion by Kerry Raymond( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

PROLOG control rules by Lee Naish( Book )

in English and held by 1 WorldCat member library worldwide

Image version 2.1 : the system by Tony Puah Boon Chuan( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

Paging strategy for Prolog based on dynamic virtual memory by M. L Ross( Book )

in English and held by 1 WorldCat member library worldwide

Partial match retrieval using recursive linear hashing by Kamisetty Ramamohan Rao( Book )

in English and held by 1 WorldCat member library worldwide

Derivation of polymorphic types for prolog programs by Justin Zobel( Book )

in English and held by 1 WorldCat member library worldwide

Maximal unifiable subsets and minimal non-unifiable subsets by T. Y Chen( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

A basis for deductive database systems by J. W Lloyd( Book )

in English and held by 1 WorldCat member library worldwide

On domain independent databases by R. W Topor( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

A differential approach to query optimisation in recursive deductive databases by Isaac Balbin( Book )

in English and held by 1 WorldCat member library worldwide

Integrity constraint checking in stratified databases by J. W Lloyd( Book )

in English and held by 1 WorldCat member library worldwide

Accessing existing databases from Prolog by Justin Zobel( Book )

in English and held by 1 WorldCat member library worldwide

Inferring negative information from disjunctive databases by Kenneth A Ross( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

A review of OSI standards by I. G Richards( Book )

in Undetermined and held by 1 WorldCat member library worldwide

Deductive database tools by R. W Topor( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

Declarative error diagnosis by J. W Lloyd( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

Image version 2.1 : user manual by Tony Puah Boon Chuan( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.84 for Negation a ... to 0.94 for Declarativ ...)

Alternative Names
University of Melbourne. Dept. of Computer Science

University of Melbourne. School of Information Technology & Electrical Engineering. Dept. of Computer Science

Languages
English (19)