Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
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 Computer programming and formal systems
      1. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul), editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35
      Format: 
      Excerpt: 
      , deduction and heuristics / E.W. Beth -- Basis for mathematical theory of computation / John McCarthy
      Cover image for Computer programming and formal systems
      2. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
      Format: 
      Excerpt: 
      , deduction and heuristics / E.W. Beth -- Basis for mathematical theory of computation / John McCarthy
      Cover image for Computers and languages : theory and practice
      3. 
      Computers and languages : theory and practice
      by 
      Nijholt, Anton, 1946-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444704634
      ScienceDirect https://www.sciencedirect.com/science/bookseries/09243542/4
      Format: 
      Excerpt: 
      Languages; 2.1 The Mathematical Background; 2.2 From Code To Language; 2.3 Language Analysis And Code
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page