Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
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 Introduction to knowledge systems
      1. 
      Introduction to knowledge systems
      by 
      Stefik, Mark.
      ScienceDirect https://www.sciencedirect.com/science/book/9780080509167
      Format: 
      Excerpt: 
      COMPUTERS -- General.
      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 -- Hardware -- General.
      Cover image for Object-oriented reengineering patterns
      3. 
      Object-oriented reengineering patterns
      by 
      Demeyer, Serge.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558606395
      ScienceDirect https://www.sciencedirect.com/science/book/9781558606395
      Format: 
      Excerpt: 
      COMPUTERS -- Software Development & Engineering -- General.