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
Grave, Kurt De
Manohar, R.
Ravi, S. S.
Sterrett, S. G.
Tremblay, Jean-Paul
Show more
Item types
Books
Series
Collana Unitext -- L...
Lecture notes incomp...
Oxford logic guides
Springer undergradua...
Texts in theoretical...
Show more
Topics
automata theory
Bertrand Russell
Completeness theorem
Computer science
Engineering & Appli...
First-Order system
Logic design
Logic, Symbolic and ...
Mathematical logic
Mathematical Logic
Mathematical Logic a...
Mathematics
Object-Oriented prog...
Principles of Arithm...
Proof theory
Propositional logic
Set Theory
Software Architectur...
Software engineering
Theory of Computatio...
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