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 - Collections

＜eBook＞
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

Responsibility	S. Homer ... [et al.] ; editor, P. Odifreddi
Creator	Homer, S
	Odifreddi, Piergiorgio,
	Centro internazionale matematico estivo
Language	English (英語)
Publisher	Springer-Verlag
Year	1990-
Place	Berlin, Germany
Place	New York
Relation	Series Lecture notes in mathematics ; 1429
Print Version	https://hdl.handle.net/2324/1000029951
View fulltext	Springer Book Archive - Mathematics: 1990

Record ID	7018541
Frequency	Annual
Database Title	Springer Book Archive - Mathematics
Subject	QA3
	QA9.A1
	Logic, Symbolic and mathematical
	Programming (Mathematics)
	Computational complexity
Control Number	ebs999132e
eISBN	9783540471356[3540471359](online)
XISBN	9783540527343[3540527346]
XISBN	9783662180662[3662180669]
Created Date	2023.09.29
Modified Date	2024.01.30