Skip to main content
UDS Library System
Your cart is empty.
Cart
Lists
Public lists
All Users
Kudus q
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search UDS Library Collections
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog
Search the catalog in:
All libraries
CITY CAMPUS
CKT-UTAS Library
Faculty of Education
Law Library
Nyankpala Central Library
SDD-UBIDS Library
SMHS Library
Tamale Campus Library
TTH Library
Advanced search
Authority search
Recent comments
Tag cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Please provide your username and password
Forgot your password?
Create an account
Home
Advanced search
Results of search for 'se,phr:"Texts and monographs in computer science"'
Refine your search
Availability
Limit to records with available items
Authors
Fitting, Melvin
Kfoury, A. J.
Wirth, Niklaus
Holding libraries
CKT-UTAS Library
Item types
Books
Locations
General Stacks
Series
Texts and monographs...
The AKM series in th...
Topics
Automatic theorem pr...
Logic, Symbolic and ...
Modula-2 (Computer p...
Your search returned 3 results.
Sort
Sort results by:
Sort by:
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)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to cart
Add to list
Public lists
All Users
New list
Place hold
Results
1.
Image from Google Jackets
A Programming Approach to Computability
/A.J. Kfoury, Robert N. Moll, Michael A. Arbib.
by
Kfoury, A. J
Series:
The AKM series in theoretical computer science
|
Texts and monographs in computer science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New York, N.Y. :
Springer-Verlag,
c1982
Availability:
Items available for loan:
CKT-UTAS Library
(1)
Call number:
QA9.59 K21
.
star rating
Average : 0.0 out of 5 stars
Request article
Save to lists
Add to cart
(remove)
2.
Image from Google Jackets
First-order logic and automated theorem proving /
Melvin Fitting.
by
Fitting, Melvin, Fitting, Melvin
, 1942-
Series:
Texts and monographs in computer science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New York :
Springer-Verlag,
c1990
Availability:
Items available for loan:
CKT-UTAS Library
(1)
Call number:
QA76.9.A96 F31
.
star rating
Average : 0.0 out of 5 stars
Place hold
Request article
Save to lists
Add to cart
(remove)
3.
Image from Google Jackets
Programming in Modula-2 /
Niklaus Wirth.
by
Wirth, Niklaus
Series:
Texts and monographs in computer science
Edition:
Second
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin ; New York :
Springer-Verlag,
1983
Availability:
Items available for loan:
CKT-UTAS Library
(1)
Call number:
QA76.73M63 W31
.
star rating
Average : 0.0 out of 5 stars
Place hold
Request article
Save to lists
Add to cart
(remove)
Not finding what you're looking for?
Make a
purchase suggestion