Proof assistant/Bibliography: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
(Nipkow)
 
imported>Boris Tsirelson
mNo edit summary
Line 9: Line 9:
  | first3 = Markus
  | first3 = Markus
  | title = Isabelle/HOL — A Proof Assistant for Higher-Order Logic
  | title = Isabelle/HOL — A Proof Assistant for Higher-Order Logic
  | series = LNCS
  | series = Lecture Notes in Computer Science
  | volume = 2283
  | volume = 2283
  | year = 2002
  | year = 2002
  | publisher = Springer
  | publisher = Springer
}}.
}}.

Revision as of 11:30, 14 August 2010

This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Proof_assistant/Bibliography&printable=yes
A list of key readings about Proof assistant.
Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.

Nipkow, Tobias; Lawrence C. Paulson & Markus Wenzel (2002), Isabelle/HOL — A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol. 2283, Springer.

Retrieved from "https://citizendium.org/wiki/index.php?title=Proof_assistant/Bibliography&oldid=801059"