Catalog

Record Details

Catalog Search


Search Results Showing Item 50 of 148

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Electronic resources

Record details

  • ISBN: 9783642284120
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 303 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science
Information theory
Logic design
Logic, Symbolic and mathematical
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematics of Computing
Theory of Computation
Computation by Abstract Devices
Mathematical Logic and Foundations
Search Results Showing Item 50 of 148

Additional Resources