Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Proof planning for strategy development

From MaRDI portal
Publication:1601860
Jump to:navigation, search

DOI10.1023/A:1018969728171zbMath1001.68126OpenAlexW1595374349MaRDI QIDQ1601860

Andrew Ireland, Jamie Stark

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018969728171


zbMATH Keywords

proof planninginvariant discoveryproof patchingstrategiy development


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)

An integrated approach to high integrity software verification


Uses Software

  • Coq
  • Isabelle
  • HOL
  • LCF
  • LEGO
  • CLAM



This page was built for publication: Proof planning for strategy development

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1601860&oldid=13898036"
Category:
  • Pages with script errors
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 03:37.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki