학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

AN EQUATIONAL DEDUCTIVE SYSTEM FOR THE DIFFERENTIAL AND INTEGRAL CALCULUS

Document Type

Journal

Author

CHUAQUI, R; SUPPES, P

Source

LECTURE NOTES IN COMPUTER SCIENCE; 1990, 417 p25-p49, 25p.

Subject

Language

English

ISSN

03029743

Online Access

Web of Science Find it@PNU

이메일