Your search returned 8 results.

Not what you expected? Check for suggestions

Image from Google Jackets

A Proof Theory for Description Logics / by Alexandre Rademaker by

Rademaker, Alexandre

Material type:

Text; Format: print

Publication details: London : Springer London, 2012

Availability: Items available for loan: Main Library (1)Location, call number: GEN Q335 RAD.

Image from Google Jackets

Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema. by

Series: CSLI lecture notes ; no. 53

Material type:

Text; Format: print

Publication details: Stanford, Calif. : CSLI Publications, c1995

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267.3 MOD.

Image from Google Jackets

Communication and concurrency / Robin Milner. by

Milner, R

Series: Prentice Hall international series in computer science

Material type:

Text; Format: print

Publication details: New York : Prentice Hall, 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA76.642 MIL.

Image from Google Jackets

Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long. by

Material type:

Text; Format: print

Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267.5.S4 CAR.

Image from Google Jackets

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by

Series: Prentice-Hall software series

Material type:

Text; Format: print

Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267 LEW.

Image from Google Jackets

Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long. by

Material type:

Text; Format: print

Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267.5.S4 CAR.

Image from Google Jackets

Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long. by

Material type:

Text; Format: print

Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267.5.S4 CAR.

Image from Google Jackets

Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema. by

Series: CSLI lecture notes ; no. 53

Material type:

Text; Format: print

Publication details: Stanford, Calif. : CSLI Publications, c1995

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267.3 MOD.

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 8 results.