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