Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Infinite words : automata, semigroups, logic and games
      1. 
      Cover image for Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      2. 
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
      Format: 
      Excerpt: 
      COMPUTERS -- Machine Theory.
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page