소장자료
LDR | 00843camua2200241 4500 | ||
001 | 0000119745▲ | ||
005 | 20180519145619▲ | ||
008 | 701027s1970 wb b 100 0 eng ▲ | ||
010 | ▼a 79117526 //r85▲ | ||
015 | ▼a GDB***▲ | ||
050 | 0 | ▼a QA3▼b .L28 no. 125▲ | |
082 | ▼a 164▲ | ||
090 | ▼a 510.4▼b L47m▲ | ||
111 | 2 | 0 | ▼a Symposium on Automatic Demonstration,▼c Versailles,▼d 1968.▲ |
245 | 1 | 0 | ▼a Symposium on Automatic Demonstration / ▼c edited by M. Laudet [and others].▲ |
260 | 0 | ▼a Berlin,▼a New York : ▼b Springer-Verlag , ▼c 1970.▲ | |
300 | ▼a 310 p ; ▼c 26 cm.▲ | ||
490 | 1 | ▼a Lecture notes in mathematics ; ▼v 125▲ | |
500 | ▼a English or French.▲ | ||
504 | ▼a Includes bibliographies.▲ | ||
650 | 0 | ▼a Automatic theorem proving▼x Congresses.▲ | |
700 | 1 | 0 | ▼a Laudet, M.,▼e ed.▲ |
830 | 0 | ▼a Lecture notes in mathematics (Springer-Verlag) ;▼v 125.▲ |
Symposium on Automatic Demonstration
자료유형
국외단행본
서명/책임사항
Symposium on Automatic Demonstration / edited by M. Laudet [and others].
개인저자
회의명
Symposium on Automatic Demonstration, , Versailles, , 1968.
발행사항
Berlin , New York : Springer-Verlag , 1970.
형태사항
310 p ; 26 cm.
총서사항
일반주기
English or French.
서지주기
Includes bibliographies.
청구기호
510.4 L47m
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서