My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

E-RESOURCE
Author Crossley, John N.

Title Logical Methods [electronic resource] : In Honor of Anil Nerode's Sixtieth Birthday / edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.

Published Boston, MA : Birkh衵ser Boston, 1993.

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
Physical description 1 online resource (813 pages).
Series Progress in Computer Science and Applied Logic ; 12
Progress in computer science and applied logic ; 12.
Other author Remmel, Jeffrey B.
Shore, R. A. (Richard A.)
Sweedler, Moss E.
Subject Computer science.
Logic design.
Mathematics.
Logic, Symbolic and mathematical.
Computer science.
Logic design.
Logic, Symbolic and mathematical.
Mathematics.
Electronic books.
ISBN 9781461203254 (electronic bk.)
1461203252 (electronic bk.)