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 Logic-based decision support : mixed integer model formulation
      1. 
      Cover image for Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
      2. 
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      3. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard