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

>> Google Books

twitter facebook Hatena

More Services

QR code of this page

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 ; Tokyo : Springer-Verlag, c1990

形態:

162 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze <BA00146586>

書誌ID:

BA10559946

ISBN:

9783540527343 [3540527346] (: gw)

9780387527345 [0387527346] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Computational complexity--Congresses; Logic, Symbolic and mathematical--Congresses; Programming (Mathematics)--Congresses
分類・件名:	LCC : QA3 LCC : QA9.A1 DDC : 510 s DDC : 511.3 NDC8 : 410.8 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Programming (Mathematics) -- Congresses LCSH : Computational complexity -- Congresses
LCCN:	90039676
注記:	"C.I.M.E. Meeting on Logic and Computer Science" -- Pref Includes bibliographical references
TTLL:	eng

内容紹介

目次情報

この本を借りた人は、こんな本も借りています

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Inverse problems : lectures given at the 1st 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, May 28-June … Centro internazionale matematico estivo. Session, Talenti, G. (Giorgio) Springer-Verlag	7 図書 Viscosity solutions and applications : lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, … Bardi, Martino, Crandall, Michael G., Evans, Lawrence C., 1949-, Soner, H. Mete, Souganidis, Panagiotis E., Capuzzo … Springer-Verlag
2 図書 Integrable systems and quantum groups : lectures given at the 1st Session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, … Centro internazionale matematico estivo. Session, Donagi, Ron, Francaviglia, M., Greco, Silvio, 1941-, Centro … Springer	8 図書 Theory of moduli : lectures given at the 3rd 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June … Centro internazionale matematico estivo. Session, Sernesi, Edoardo Springer-Verlag
3 図書 Topological methods for ordinary differential equations : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in … Fitzpatrick, Patrick, 1946-, Furi, M. (Massimo), Zecca, P. (Pietro), Centro internazionale matematico estivo, Centro … Springer-Verlag	9 図書 Nonlinear diffusion problems : lectures given at the 2nd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, … Centro internazionale matematico estivo. Session, Primicerio, Mario, Fasano, A. (Antonio) Springer-Verlag
4 図書 Probabilistic models for nonlinear partial differential equations : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) … Graham, C. (Carl), Talay, D. (Denis), Tubaro, Luciano, 1947-, Centro internazionale matematico estivo Springer	10 図書 Dynamical systems : lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 13-22, … Centro internazionale matematico estivo. Session, Johnson, R. (Russell), Arnold, L. (Ludwig), 1937-, Centro … Springer Verlag
5 図書 Geometric topology : recent developments : lectures given on the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini … Centro internazionale matematico estivo. Session, Cheeger, Jeff, De Bartolomeis, P. (Paolo), Tricerri, Franco, 1947-, … Springer-Verlag	11 図書 Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, … Centro internazionale matematico estivo. Session, Giaquinta, Mariano, 1947- Springer-Verlag
6 図書 Transition to chaos in classical and quantum mechanics : lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in … Centro internazionale matematico estivo. Session, Bellissard, J. (Jean), Graffi, Sandro, 1943-, Centro internazionale … Springer-Verlag	12 図書 Kinetic theories and the Boltzmann equation : lectures given at the 1st 1981 session of the Centro internazionale matematico estivo (C.I.M.E.), held at … Cercignani, Carlo, Centro internazionale matematico estivo Springer-Verlag