Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Kaufmann, Matt
Manolios, Panagiotis
Moore, J Strother
Sautoy, Marcus Du
Item types
Books
Series
Adances in formal me...
Topics
Backgammon
Electronic data proc...
Expert systems
Formal methods
Gamification
Gaming
Gaming strategies
Golden ratio
Mornington Crescent
Reasoning
Sotware engineering
Spacewar
Theorem
Ultimatum Game
Your query retrived 2 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Computer-aided reasoning : an approach
by
Kaufmann, Matt
|
Manolios, Panagiotis
|
Moore, J Strother.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boston: Kluwer Academic Publishers, 2000
Availability:
Items available for loan:
[
Call number:
004.0151 KAU] (1).
Place hold
2.
Around The World In 80 Games : A mathematician unlocks the secrets of the greatest games
by
Sautoy, Marcus Du.
Publisher:
London : HarperCollins, 2023
Availability:
Items available for loan:
[
Call number:
793 SAU] (1).
Place hold
Powered by
Koha