Search UDS Library Collections


Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
A Programming Approach to Computability /A.J. Kfoury, Robert N. Moll, Michael A. Arbib. by Series: The AKM series in theoretical computer science | Texts and monographs in computer science
Material type: Text 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.

Request article Add to cart
2.
First-order logic and automated theorem proving / Melvin Fitting. by Series: Texts and monographs in computer science
Material type: Text 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.

Place hold Request article Add to cart
3.
Programming in Modula-2 / Niklaus Wirth. by Series: Texts and monographs in computer science
Edition: Second
Material type: Text 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.

Place hold Request article Add to cart
Pages