Search the collection

Catalogue View old catalogue

View old catalogue

22 results for Temporal+logic

Sort by:

Sort by

Limit results to:

20 per page

22 results for Temporal+logic

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 1
Books
Cognition and temporality : the genesis of historical thought in perception and reasoning / Mark E. Blum.
Author / Creator:Blum, Mark E. author.
Publisher:New York, NY : Peter Lang Publishing, Inc., [2019]
Call Numbers:G 2019/5487
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
Books
Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
Publisher:Chichester ; New York : J. Wiley, c1993.
Call Numbers:T0369699
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
Books
Reasoning about rational agents / Michael Wooldridge.
Author / Creator:Wooldridge, Michael J., 1966-
Publisher:Cambridge, Mass. : MIT Press, 2000.
Date:2000.
Call Numbers:N006.3/201
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
Books
Me and you and Memento and Fargo : how independent screenplays work / by J.J. Murphy.
Author / Creator:Murphy, J. J., 1947-
Publisher:New York : Continuum, 2007.
Date:2007.
Call Numbers:N791.4375/140
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
Books
Teacher education through uncertainty and crisis : towards sustainable futures / edited by Terri Seddon, Alex Kostogriz and Joanna Barbousas.
Publisher:Abingdon, Oxfordshire : New York : Routledge, Taylor & Francis Group, 2022.
Edition:First Edition.
Call Numbers:H 2022/0489
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
Books
The interface envelope : gaming, technology, power / James Ash.
Author / Creator:Ash, James, 1983- author.
Publisher:New York, NY, USA ; London, UK : Bloomsbury Academic, an imprint of Bloomsbury Publishing, Inc., 2015.
Call Numbers:G 2015/1244
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
Books
The afterlife / Donald Antrim.
Author / Creator:Antrim, Donald.
Publisher:New York : Farrar, Straus and Giroux, 2006.
Edition:1st ed.
Date:2006.
Call Numbers:N813.54/803
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
Books
Safe mode / Sam Riviere.
Author / Creator:Riviere, Sam, author.
Publisher:London : Test Centre, 2017.
Call Numbers:G 2018/2432
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
Books
The architecture of Frank Lloyd Wright / Neil Levine.
Author / Creator:Levine, Neil, 1941-
Publisher:Princeton, N.J. : Princeton University Press, c1996.
Call Numbers:NQ720.92/W949/12
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
ebooks
From 'stone-age' to 'real-time' : exploring Papual temporalities, mobilities and religiosities / edited by Martin Slama and Jenny Munro.
Publisher:Canberra, ACT ANU Press, [2015]
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 11
Books
García Márquez / edited and introduced by Robin Fiddian.
Publisher:London ; New York : Longman, 1995.
Date:1995.
Call Numbers:N863/G216.6/12
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
Books
Territory, authority, rights : from medieval to global assemblages / Saskia Sassen.
Author / Creator:Sassen, Saskia.
Publisher:Princeton, N.J. : Princeton University Press, c2006.
Call Numbers:N306.201/ 2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
ebooks
The Cambridge history of seventeenth-century philosophy. Volume 1 / edited by Daniel Garber, Michael Ayers ; with the assistance of Roger Ariew and Alan Gabbey. [electronic resource]
Publisher:Cambridge : Cambridge University Press, 1998.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
Books
Mathematics elsewhere : an exploration of ideas across cultures / Marcia Ascher.
Author / Creator:Ascher, Marcia, 1935-2013.
Publisher:Princeton, N.J. : Princeton University Press, c2002.
Call Numbers:N510/223
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
Books
Life in the age of drone warfare / [electronic resource] : Lisa Parks and Caren Kaplan, editors.
Publisher:Durham : Duke University Press, 2017.
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
ebooks
Animated landscapes : [electronic resource] : history, form and function / edited by Chris Pallant.
Publisher:New York : Bloomsbury, Bloomsbury Academic, An imprint of Bloomsbury Publishing Inc, 2015.
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
Books
Karl Marx on technology and alienation / Amy E Wendling.
Author / Creator:Wendling, Amy E., 1976-
Publisher:Basingstoke [England] ; New York : Palgrave Macmillan, 2009.
Date:2009.
Call Numbers:N335.41/35
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
Books
A hundred years of phenomenology : perspectives on a philosophical tradition / edited by Robin Small.
Publisher:Aldershot, Hants, England ; Burlington, VT : Ashgate, c2001.
Call Numbers:N142.7/52
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
Books
Charlemagne / Johannes Fried ; translated by Peter Lewis.
Author / Creator:Fried, Johannes author.
Publisher:Cambridge, Massachusetts : Harvard University Press, 2016.
Call Numbers:G 2016/3500
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
ebooks
Design and application of automated flood water quality monitoring systems in the wet tropics [electronic resource] / Aaron Hawdon ... [et al.].
Publisher:Townsville, [Qld.] : CSIRO Land and Water, 2007.
Date:2007.
View online
Freely accesible: Publisher site.