상세정보

이전 결과로 돌아가기 검색화면

MARC

Automated reasoning : introduction and applications

Automated reasoning : introduction and applications

자료유형

단행본

개인저자

Wos, Larry.

서명 / 저자사항

Automated reasoning : introduction and applications / Larry Wos ... [et al.].

발행사항

Englewood Cliffs, N.J. : Prentice-Hall , [c1984].

형태사항

xiv, 482 p. : ill. ; 24 cm.

ISBN

0130544531 0130544469 (pbk.)

서지주기

Includes bibliographical references and index.

일반주제명

Automatic theorem proving. Artificial intelligence. Electronic digital computers -- Programming.

비통제주제어

Artificial intelligence , Applications of digital computer systems , Programming ,,

000		01133camuu2200325 a 4500
001		000000108238
005		20080221172237
008		831019s1984 njua b 001 0 eng
010		▼a 83022968
015		▼a GB85-4302
019		▼a 12504591
020		▼a 0130544531
020		▼a 0130544469 (pbk.)
035		▼a ocm10099218
040		▼a DLC ▼c DLC ▼d m/c ▼d UKM ▼d 211009
049	1	▼l 421030105 ▼f 과학
050	0	▼a QA76.9.A96 ▼b A93 1984
082	0	▼a 001.53/5 ▼2 19
082	0 4	▼a 006.3/33 ▼2 22
090		▼a 006.333 ▼b A939
245	0 0	▼a Automated reasoning : ▼b introduction and applications / ▼c Larry Wos ... [et al.].
260		▼a Englewood Cliffs, N.J. : ▼b Prentice-Hall , ▼c [c1984].
300		▼a xiv, 482 p. : ▼b ill. ; ▼c 24 cm.
504		▼a Includes bibliographical references and index.
650	0	▼a Automatic theorem proving.
650	0	▼a Artificial intelligence.
650	0	▼a Electronic digital computers ▼x Programming.
653		▼a Artificial intelligence ▼a Applications of digital computer systems ▼a Programming
700	1	▼a Wos, Larry.

소장정보

과학도서관

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 과학도서관/Sci-Info(2층서고)/	청구기호 006.333 A939	등록번호 121162472	도서상태 대출가능	반납예정일	예약	서비스 B M
No. 2	소장처 과학도서관/Sci-Info(2층서고)/	청구기호 006.333 A939	등록번호 421030105	도서상태 대출가능	반납예정일	예약	서비스 B M

관련분야 인기자료

밑바닥부터 시작하는 딥러닝 : 파이썬으로 익히는 딥러닝 이론과 구현

斎藤康毅 (2017)

인공지능 : 현대적 접근방식

Russell, Stuart J (2016)

(알고리즘으로 배우는) 인공지능, 머신러닝, 딥러닝 입문

김의중 (2016)

미래를 바꾼 아홉 가지 알고리즘 : 컴퓨터 세상을 만든 기발한 아이디어들

MacCormick, John (2013)

신경망 첫걸음 : 수포자도 이해하는 신경망 동작 원리와 딥러닝 기초

Rashid, Tariq (2017)

파이썬 라이브러리를 활용한 머신러닝 : 사이킷런 핵심 개발자가 쓴 머신러닝과 데이터 과학 실무서

Müller, Andreas C (2017)

컴퓨터 비전 : 기본 개념부터 최신 모바일 응용 예까지

오일석 (2014)

기계 학습

오일석 (2017)

밑바닥부터 시작하는 딥러닝. 2, 파이썬으로 직접 구현하며 배우는 순환 신경망과 자연어 처리

齋藤康毅 (2019)

핸즈온 머신러닝 : 사이킷런과 텐서플로를 활용한 머신러닝, 딥러닝 실무

Géron, Aurélien (2018)

케라스 창시자에게 배우는 딥러닝

Chollet, François (2018)

혼자 공부하는 머신러닝 + 딥러닝 : 1:1 과외하듯 배우는 인공지능 자습서

박해선 (2020)

인공지능 : 현대적 접근방식

Russell, Stuart J (2021)

The elements of statistical learning : data Mining, inference, and prediction / 2nd ed

Hastie, Trevor (2009)

Deep learning

Goodfellow, Ian (2016)

단단한 강화학습 : 강화학습 기본 개념을 제대로 정리한 인공지능 교과서

Sutton, Richard S (2020)

패턴 인식과 머신 러닝

Bishop, Christopher M (2018)

The elements of statistical learning : data mining, inference, and prediction

Hastie, Trevor (2001)

자연어처리 바이블 : 핵심이론 응용시스템 딥러닝

임희석 (2019)

R를 이용한 텍스트 마이닝

백영민 (2017)

관련분야 신착자료

머신러닝 기반 데이터분석 : with case study : using Python

박민서 (2025)

(된다!) 조회수 터지는 인스타그램 릴스 만들기 : AI로 빠르게 기획해서 수익화하자!

최지영 (2026)

Knowledge graphs and LLMs in action

Negro, Alessandro (2026)

Teaching AI literacy across the curriculum : a K-12 handbook

Lyublinskaya, Irina (2026)

(가상 면접 사례로 배우는) 생성형 AI 서비스 설계

Aminian, Ali (2026)

Pocket guide to quantum algorithms

Ryan, David (2025)

(문과생도 할 수 있는) 챗GPT 머신러닝

박윤주 (2026)

(Python을 활용한) AI 기반 데이터 사이언스 방법론 : 머신러닝부터 생성형 AI까지

이석민 (2026)

AI 리터러시 : 인공지능 시대를 살아가는 새로운 역량

이선종 (2025)

AI를 움직이는 수학 이야기 : 실생활 예제로 배우는 기술 속 수학의 비밀

古島十潤 (2025)

비인간 권력

Dyer-Witheford, Nick (2026)

(쉽고 빠르게 익히는) 실전 LLM

Ozdemir, Sinan (2025)

데이터 기반 리텐션 전략 : 실행 가능한 고객 메트릭 설계부터 이탈을 막는 전략 실행까지

Gold, Carl (2025)

데이터·AI : 시스템 아키텍트를 위한 실무 가이드

윤대희 (2025)

Integrating neurocomputing with artificial intelligence

Kumar, Abhishek (2025)

양자 알고리즘

양성봉 (2025)

Causal inference and machine learning : in economics, social, and health sciences

Yuksel, Mutlu (2026)

(Python으로 배우는) 데이터 과학 기초

최정인 (2025)

(Python으로 배우는) 데이터 과학 분석

최정인 (2025)

모두의 인공지능 with 파이썬 : 누구나 쉽게 시작하는 딥러닝 기초 프로그래밍 / 개정2판

이영호 (2025)