서브메뉴
검색
Automated mathematical induction
Automated mathematical induction
Detailed Information
- 자료유형
- 단행본
- ISBN
- 0792340108
- 청구기호
- 410.1 Z63a
- 저자명
- Zhang, H
- 서명/저자
- Automated mathematical induction / ed. by H. Zhang.
- 발행사항
- Boston : Kluwer Academic Publishers, 1996.
- 형태사항
- 222 p. ; 23 cm.
- 서지주기
- Includes bibliographical references and index
- 가격
- 12000
- Control Number
- kjul:50036883
MARC
008020204s1996 ulk 1 ENG■020 ▼a0792340108
■090 ▼a410.1▼bZ63a
■1001 ▼aZhang, H
■24510▼aAutomated mathematical induction▼ded. by H. Zhang.
■260 ▼aBoston▼bKluwer Academic Publishers▼c1996.
■300 ▼a222 p.▼c23 cm.
■504 ▼aIncludes bibliographical references and index
■9500 ▼b12000
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Info Détail de la recherche.
- Réservation
- n'existe pas
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
