• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Isabelle's Object-Logics (1997)

Cached

  • Download as a PDF

Download Links

  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk.]
  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]
  • [turing.wins.uva.nl]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Lawrence C. Paulson
Citations:21 - 2 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1

Version History

Metadata Version 1

User correction supplied by mph

DatumValueSource
TITLE Isabelle's Object-Logics user correction
AUTHOR NAME Lawrence C. Paulson user correction
AUTHOR AFFIL Computer Laboratory; University of Cambridge user correction
ABSTRACT user correction
YEAR 1997 SVM HeaderParse 0.2
CITATIONS 45 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University