Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)
Autor: | Bundy, Alan, Boyer, Robert S., Kapur, Deepak, Walther, Christoph |
---|---|
Jazyk: | angličtina |
Rok vydání: | 1996 |
DOI: | 10.4230/dagsemrep.122 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Bundy, Alan, Boyer, Robert S., Kapur, Deepak, Walther, Christoph |
---|---|
Jazyk: | angličtina |
Rok vydání: | 1996 |
DOI: | 10.4230/dagsemrep.122 |
Databáze: | OpenAIRE |
Externí odkaz: |