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
Barwise, Jon
Bjorner, Dines
Bonsangue, Marcello ...
Daylight, Edgar G
Gabbay, D. M.
Gabbay, Dov M.
Graf, Susanne
Grave, Kurt De
Heijenoort, Jean Van
Libkin, Leonid
Losee, Robert M.
Manohar, R.
Mundici, Daniele
Rao, G. Shanker
Ravi, S. S.
Rovan, Branislav
Sterrett, S. G.
Tremblay, Jean-Paul
Vojtas, Peter
Whitehead, Alfred N.
Item types
Books
Series
Collana Unitext -- L...
Lecture notes in com...
Lecture notes incomp...
Springer undergradua...
Texts in theoretical...
Show more
Topics
Computer science
Logic, Symbolic and ...
Mathematical logic
Mathematical Logic
Mathematics
Show more
Your query retrived 22 records.
« Previous
1
2
|
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)
21.
Grammatical inference : learning automata and grammars
by
De la Higuera, Colin.
Publisher:
Cambridge : Cambridge University Press, 2010
Availability:
Items available for loan:
[
Call number:
005.131 DAL] (1).
Place hold
22.
Logic : lecture notes for philosophy, mathematics, and computer science
by
Iacona, Andrea.
Publisher:
Cham : Springer, 2021
Availability:
Items available for loan:
[
Call number:
160 IAC] (1).
Place hold
« Previous
1
2
Powered by
Koha