Search Results

Abstract

Cite as

Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore. AI meets Formal Software Development (Dagstuhl Seminar 12271). In Dagstuhl Reports, Volume 2, Issue 7, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

@Article{bundy_et_al:DagRep.2.7.1,
  author =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  title =	{{AI meets Formal Software Development (Dagstuhl Seminar 12271)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.1},
  URN =		{urn:nbn:de:0030-drops-37318},
  doi =		{10.4230/DagRep.2.7.1},
  annote =	{Keywords: Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling, Industrial use of formal methods}
}

Abstract

Cite as

Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther. Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530). Dagstuhl Seminar Report 122, pp. 1-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)

@TechReport{bundy_et_al:DagSemRep.122,
  author =	{Bundy, Alan and Boyer, Robert S. and Kapur, Deepak and Walther, Christoph},
  title =	{{Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)}},
  pages =	{1--40},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{122},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.122},
  URN =		{urn:nbn:de:0030-drops-150107},
  doi =		{10.4230/DagSemRep.122},
}