Search the collection

Catalogue View old catalogue

View old catalogue

Applied filters

34 results

Sort by:

Sort by

Limit results to:

20 per page

34 results

Export to excel

Export record to excel

File type to download

Beta version

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 21
Books
Constructing logic programs / edited by Jean-Marie Jacquet.
Publisher:Chichester, West Sussex, England ; New York : Wiley, c1993.
Call Numbers:T0371918
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 22
Books
Fixpoint semantics for negation as inconsistency / Norman Y. Foo and Anand S. Rao.
Author / Creator:Foo, Norman Y.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:005.1/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 23
Books
Logic grammars : with 40 illustrations / Harvey Abramson, Veronica Dahl.
Author / Creator:Abramson, Harvey.
Publisher:New York : Springer-Verlag, c1989.
Call Numbers:T0374632
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 24
Books
Programming in PARLOG / Tom Conlon.
Author / Creator:Conlon, Tom, 1954-
Publisher:Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1989.
Call Numbers:T0371924
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 25
Books
Logic with prolog / Peter Gibbins.
Author / Creator:Gibbins, Peter.
Publisher:Oxford [England] : Clarendon Press ; New York : Oxford University Press, 1988.
Date:1988.
Call Numbers:T0371925
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 26
Books
Non-deterministic concurrent logic programming in Pandora / Reem Bahgat.
Author / Creator:Bahgat, Reem.
Publisher:Singapore : World Scientific, c1993.
Call Numbers:T0372003
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 27
Books
Implementation and development issues for the linear logic programming language Lygon / Michael Winikoff, James Harland.
Author / Creator:Winikoff, Michael.
Publisher:Parkville, Vic. : Department of Computer Science, University of Melbourne, 1995.
Date:1995.
Call Numbers:TQ062919
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 28
Books
Design and implementation of a tableau prover / Mark Grundy and Norman Y. Foo.
Author / Creator:Grundy, Mark.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1985.
Date:1985.
Call Numbers:T0391821 , 511.3028553/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 29
Books
From logic to logic programming / Kees Doets.
Author / Creator:Doets, Kees.
Publisher:Cambridge, Mass. : MIT Press, c1994.
Call Numbers:T0371856
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 30
Books
Logic and objects / Francis G. McCabe.
Author / Creator:McCabe, F. G. (Frank G.), 1953-
Publisher:New York : Prentice Hall, 1992.
Date:1992.
Call Numbers:T0372505
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 31
Books
Parallel computers : object-oriented, functional, logic / edited by P.C. Treleaven.
Publisher:Chichester, West Sussex, England ; New York, NY, USA : Wiley, c1990.
Call Numbers:T0372201
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 32
Books
Logic for applications / Anil Nerode, Richard A. Shore.
Author / Creator:Nerode, Anil, 1932-
Publisher:New York : Springer-Verlag, c1993.
Call Numbers:T0371919
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 33
Books
Advanced logic programming for language processing / Patrick Saint-Dizier.
Publisher:London : Academic, c1994.
Call Numbers:T0374320
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 34
Books
Syntactically recognizable modularly stratified programs / David B. Kemp, Kotagiri Ramamohanarao.
Author / Creator:Kemp, David B. (David Barry)
Publisher:[Parkville, Vic.] : Dept. of Computer Science, University of Melbourne, 1993.
Edition:Rev. Dec. 1993.
Date:1993.
Call Numbers:TQ070422
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 35
Books
From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor, André Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe...
Publisher:Chichester ; New York : Wiley, c1988.
Call Numbers:T0374071
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 36
ebooks
Synthesis of distributed systems from knowledge-based specifications [electronic resource] / Ron van der Meyden.
Author / Creator:Van der Meyden, Ron.
Publisher:Sydney : University of New South Wales, School of Computer Science and Engineering , 2005.
Date:2005.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 37
Books
Dynabels : a dynamic belief system / Anand S. Rao and Norman Y. Foo.
Author / Creator:Rao, Anand S.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:511.3/6 , T0391893
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 38
Books
The BeBOP system / Jason Lee and Andrew Davison.
Author / Creator:Lee, Jason.
Publisher:Parkville, Vic. : Dept. of Computer Science, University of Melbourne, 1993.
Date:1993.
Call Numbers:TQ070427
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 39
ebooks
Logic programming revisited from a classical standpoint [electronic resource] / Eric A. Martin.
Author / Creator:Martin, Eric A.
Publisher:Sydney : University of New South Wales. School of Computer Science and Engineering , 2008.
Date:2008.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 40
Books
Parallel logic programming techniques / Stephen Taylor ; with a foreword by Ehud Shapiro.
Author / Creator:Taylor, Stephen, 1956 Oct. 13-
Publisher:Englewood Cliffs, N.J. : Prentice Hall, c1989.
Call Numbers:T0371372
For use in the Library