National Defense Digital LibraryNDDL Portal

Search

Advanced Search

  • Home
  • Search
  • Advanced Search
  • MARC

    MARC Close

    • LDR

      01037camoa2200289 u pc3

    • 001

      000000441599

    • 005

      20120926203655

    • 008

      840824m19851990us a b 001 eng

    • 010

      ▼a  84020346 //r903

    • 015

      ▼a  GB92-17432

    • 020

      ▼a  0201182602 (v. 1):
      ▼c  $27.95

    • 040

      ▼a  DLC
      ▼c  DLC
      ▼d  OCL
      ▼d  UKM

    • 049

      ▼a  KMAL
      ▼l  AZ0000130535

    • 082

      ▼a  519.7
      ▼2  19

    • 090

      ▼a  519.7
      ▼b  M31L

    • 100

      ▼a  Manna, Zohar.

    • 245

      ▼a  (The)logical basis for computer programming/
      ▼d  Zohar Manna, Richard Waldinger.

    • 260

      ▼a  Reading, Mass.:
      ▼b  Addison-Wesley,
      ▼c  1985.

    • 300

      ▼a  xii, 618 p.:
      ▼b  ill.;
      ▼c  24 cm.

    • 440

      ▼a  Addison-Wesley series in computer science

    • 504

      ▼a  Includes bibliographies and indexes.

    • 505

      ▼a  v. 1. Deductive reasoning.

    • 650

      ▼a  Electronic digital computers
      ▼x  Programming.

    • 650

      ▼a  Logic, Symbolic and mathematical.

    • 653

      ▼a  THELOGICAL
      ▼a  BASIS
      ▼a  FOR
      ▼a  COMPUTER
      ▼a  PROGRAMMING
      ▼a  ADDISONWESLEY
      ▼a  SERIES
      ▼a  IN
      ▼a  SCIENCE
      ▼a  DEDUCTIVE
      ▼a  REASONING

    • 700

      ▼a  Waldinger, Richard,

    • 740

      ▼a  Deductive reasoning.

    • 991

      ▼a  단행본

    • 090

      ▼a  519.7
      ▼b  M31L

  • Put to Basket

    Done putting it in the basket.

    It was contained in the basket.
    Do you want to move to the basket?

    Cancel Ok
    Close
  • Add to my library

    Add new Collection

    *Required to fill out

    It is possible to write 1000 characters of Korean or 3000 characters of English.

    * Open Level

    닫기

    Add to my library

    Save Add new Collection Cancel
    닫기
  • Export

    Export

    Select list Save

    Export to the format available from EndNote RefWorks.

    Export to the format available from EndNote.

    Close
    Close

Detailed Information

(The)logical basis for computer programming

QR Code
표지이미지
Book Detail
Data Type : 단행본
ISBN : 0201182602 (v. 1): 
Class No. : 519.7 
Personal Author : Manna, Zohar.
Title/Author : (The)logical basis for computer programming/  Zohar Manna, Richard Waldinger. 
Imprint : Reading, Mass.:  Addison-Wesley,  1985. 
Format : xii, 618 p.:  ill.;  24 cm. 
Total Title Note : Addison-Wesley series in computer science 
Note : Includes bibliographies and indexes. 
Content Note : v. 1. Deductive reasoning. 
General Subject Name : Electronic digital computers --  Programming. -- 
General Subject Name : Logic, Symbolic and mathematical. -- 
Personal Author : Waldinger, Richard,
Class No. : 519.7 
Language English

예약

  1. 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
  2. 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
  3. 3. 기타 문의사항은 도서관에 문의 바랍니다.
Cancel
Close

무인예약대출

  1. 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
  2. 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
  3. 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
  4. 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
  5. 5. 기타 문의사항은 도서관에 문의 바랍니다.
Cancel
Close

Book Review

Write Review

Write Review

서평쓰기
Cancel
Close

Tag

Add Tag

Add Tag

Cancel
Close

QR Code

Cancel
Close
GO
  • Total16147793
  • Today4781
  • Yesterday25357
National Defense University

COPYRIGHT© DIGITAL LIBRARY OF KOREA NATIONAL DEFENSE UNIVERSITY. ALL RIGHTS RESERVED.

챗봇

Library Search Bot Service Andy

  • I am Andy, a library interactive search bot servcie