新生學校財團法人新生醫護管理專科學校圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Introduction to languages, machines,...

Parkes, Alan.

Introduction to languages, machines, and logic : = computable languages, abstract machines, and formal logic /

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Introduction to languages, machines, and logic :/ Alan P. Parkes.
其他題名:	computable languages, abstract machines, and formal logic /
作者:	Parkes, Alan.
出版者:	New York :Springer, : 2002,
面頁冊數:	xi, 351 p. :ill. ; : 24 cm.;
附註:	Includes bibliographical references (p. 341-342) and index.
標題:	Machine theory. -
ISBN:	1852334649 (alk. paper) :

Introduction to languages, machines, and logic : = computable languages, abstract machines, and formal logic /
Parkes, Alan.

Introduction to languages, machines, and logic :computable languages, abstract machines, and formal logic /Alan P. Parkes. - New York :Springer,2002 - xi, 351 p. :ill. ;24 cm.

Includes bibliographical references (p. 341-342) and index.

ISBN: 1852334649 (alk. paper) :新台幣2067

LCCN: 2001054282Subjects--Topical Terms:

96417
Machine theory.

LC Class. No.: QA267.3 / .P37 2001

Dewey Class. No.: 511.3

Introduction to languages, machines, and logic : = computable languages, abstract machines, and formal logic /
LDR:00659cam0 22001931 450L 001 60898
003 DLC
005 2005030994458.0
008 09051510s2002 nyu 001 0 eng
010 $a 2001054282
019 $a 978 2001054824
020 $a 1852334649 (alk. paper) : $c 新台幣2067
035 $a 1062338
040 $a DLC $c DLC $d DLC
050 0 0 $a QA267.3 $b .P37 2001
082 0 0 $a 511.3 $2 21
100 $a Parkes, Alan. $3 96415
245 1 0 $a Introduction to languages, machines, and logic : $b computable languages, abstract machines, and formal logic / $c Alan P. Parkes.
260 $a New York : $c 2002 $b Springer,
300 $a xi, 351 p. : $b ill. ; $c 24 cm.
500 $a Includes bibliographical references (p. 341-342) and index.
650 $a Machine theory. $3 96417
650 $a Formal languages. $3 96416