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

>> Amazon.co.jp

このページのQRコード

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

著者名:

シリーズ名:

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

ISBN:

9783540527343 [3540527346] (: gw)

9780387527345 [0387527346] (: us)

注記:

"C.I.M.E. Meeting on Logic and Computer Science" -- Pref
Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	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
TTLL:	eng
言語:	英語
形態:	162 p. : ill. ; 25 cm
書誌ID:	BA10559946

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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 … Homer, Steven., Nerode, Anil., Platek, Richard A., Sacks, Gerald E., Scedrov, Andre., Odifreddi, Piergiorgio., … Springer Berlin Heidelberg : Imprint: Springer	7 図書 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
2 図書 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	8 電子ブック Global Geometry and Mathematical Physics : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini … Alvarez-Gaume, L., Arbarello, E., De Concini, C., Hitchin, N.J., Francaviglia, M., Gherardelli, F., SpringerLink (Online … Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック 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 … Talenti, Giorgio., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 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
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 電子ブック 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., Soner, Halil M., Souganidis, Panagiotis E., Capuzzo Dolcetta, … Springer Berlin Heidelberg : Imprint: Springer
5 図書 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	11 図書 Recent mathematical methods in nonlinear wave propagation : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.), held in … Boillat, G. (Guy), Ruggeri, Tommaso, Centro internazionale matematico estivo, Conti, Roberto, 1923- Springer
6 電子ブック Recent Mathematical Methods in Nonlinear Wave Propagation : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in … Boillat, Guy., Dafermos, Constantin M., Lax, Peter D., Liu, Tai-Ping., Ruggeri, Tommaso., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 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