Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '"Lecture notes in computer science ;"' Refine Results
  1. 1
    Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
    by Nipkow, Tobias, 1958-
    Published 2002
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
  2. 2
    Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.).
    Published 1999
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  3. 3
    Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
    Published 1996
    “...Lecture notes in computer science....”
    Book
    Save to List
    Saved in:
  4. 4
    Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan.
    by McCune, W. (William)
    Published 1996
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  5. 5
    Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).
    Published 2007
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search