東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logic and computer science : = lectu...

Nerode, A.

Linked to FindBook

Google Book

Amazon

博客來

Logic and computer science : = lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logic and computer science :/ S. Homer ... [et al.] ; editor, P. Odifreddi.
Reminder of title:	lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
other author:	Nerode, A.
Published:	Berlin ;Springer-Verlag, : c1990.,
Description:	162 p. :ill. ;25 cm.
Subject:	Computational complexity - Congresses. -
ISBN:	0387527346 (New York)

Logic and computer science : = lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
Logic and computer science :lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /S. Homer ... [et al.] ; editor, P. Odifreddi. - Berlin ;Springer-Verlag,c1990. - 162 p. :ill. ;25 cm. - Lecture notes in mathematics ;1429. - Lecture notes in mathematics (Springer-Verlag) ;1429.

Includes bibliographical references.

ISBN: 0387527346 (New York)

LCCN: 90039676Subjects--Topical Terms:

628000
Computational complexity
--Congresses.

LC Class. No.: QA3 / .L28 no. 1429

Dewey Class. No.: 510 s

Logic and computer science : = lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
LDR:00796pam a2200193 a 45 001 671403
005 19991106094018.1
008 900521s1990 wb a b 00000 eng
010 $a 90039676
020 $a 0387527346 (New York)
020 $a 3540527346 (Berlin : pbk.) : $c DM42.00
035 $a as 00880155
040 $a DLC $c DLC $d DLC $d DH
050 0 0 $a QA3 $b .L28 no. 1429 $a QA9.A1
082 0 0 $a 510 s $a 511.3 $2 20
245 0 0 $a Logic and computer science : $b lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / $c S. Homer ... [et al.] ; editor, P. Odifreddi.
260 0 $a Berlin ; $a New York : $c c1990. $b Springer-Verlag,
300 $a 162 p. : $b ill. ; $c 25 cm.
490 1 $a Lecture notes in mathematics ; $v 1429
504 $a Includes bibliographical references.
650 $a Computational complexity $v Congresses. $3 628000
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
650 $a Programming (Mathematics) $x Congresses. $3 663226
700 $a Nerode, A. $3 705076
700 $a Platek, R. A. $3 705077
700 $a Sacks, G. E. $3 705078
700 $a Scedrov, A. $3 705079
700 $a Homer, S. $q (Steven) $3 705080
700 $a Odifreddi, Piergiorgio, $d 1950- $3 705081
710 $a Centro internazionale matematico estivo. $3 662481
830 $a Lecture notes in mathematics (Springer-Verlag) ; $v 1429 $3 705082