de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Middle-Out Reasoning for Synthesis and Induction

Kraan, I., Basin, D. A., & Bundy, A. (1996). Middle-Out Reasoning for Synthesis and Induction. In H. Zhang (Ed.), Automated mathematical induction (pp. 113-145). Dordrecht, The Netherlands: Kluwer.

Item is

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-0014-ABEA-E Version Permalink: http://hdl.handle.net/11858/00-001M-0000-0014-ABEB-C
Genre: Book Chapter

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Kraan, Ina, Author
Basin, David A.1, Author              
Bundy, Alan1, Author              
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, escidoc:40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Published in print
 Pages: -
 Publishing info: Dordrecht, The Netherlands : Kluwer
 Table of Contents: -
 Rev. Method: -
 Identifiers: eDoc: 519563
Other: Local-ID: C1256104005ECAFC-8F8FD7EDD0F9D886C12565C5004078C3-Basin96x
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Automated mathematical induction
Source Genre: Book
 Creator(s):
Zhang, Hantao, Editor
Affiliations:
-
Publ. Info: Dordrecht, The Netherlands : Kluwer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 113 - 145 Identifier: ISBN: 0-7923-4010-8