WorldCat Identities

University of Melbourne Department of Computer Science

Overview
Works: 26 works in 26 publications in 1 language and 27 library holdings
Classifications: QA76.73.P76, 005.133
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

Deductive database tools by R. W Topor( Book )

1 edition published in 1985 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

Implementation of an X.25 interface to AUSTPAC by I. G Richards( Book )

in English and held by 1 WorldCat member library 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

AI'93 : Proceedings of the workshop on machine learning and hybrid systems, Melbourne Australia, 16 November 1993( Book )

1 edition published in 1993 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

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

PROLOG control rules by Lee Naish( 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

An introduction to deductive database systems by J. W Lloyd( Book )

1 edition published in 1982 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

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

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

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

A review of OSI standards by I. G Richards( 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

Don't care nondeterminism in logic programming by Lee Naish( 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.88 (from 0.55 for AI'93 : Pr ... to 0.94 for PROLOG con ...)

Alternative Names
University of Melbourne. Dept. of Computer Science

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

Languages
English (20)