Menú cerrado
Región Autónoma de Sardinia Región Autónoma de Sardinia Región Autónoma de Sardinia Región Autónoma de Sardinia
Región de sardinia
Siga con nosotros
Buscar Buscar en el sitio

Resultados de la búsqueda

Resultados de la búsqueda

Resultados: 1-120 de 1667786

Editar investigación

Filtros activos:

Simili a: ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974
Categoría: Testo
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday
Testo
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

International summer institute and logic colloquium <1974

Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Testo
Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Logic colloquium [10. ; 1965 ; Leicester]

Proceedings of the summer school in logic, Leeds, 1967 : N.A.T.O. advanced study institute meeting of the Association for Symbolic Logic
Testo
Proceedings of the summer school in logic, Leeds, 1967 : N.A.T.O. advanced study institute meeting of the Association for Symbolic Logic

Summer School in Logic <1967

Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973
Testo
Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973

Logic colloquium [1973 ; Bristol]

Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Testo
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

Summer Research Insitute of the Australian Mathematical Society <14. ; 1974

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Testo
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Logic Colloquium <1966

Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science
Testo
Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science

International congress for logic, methodology and philosophy of science <3. ; 1967

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963
Testo
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium [8 ; 1963 ; Oxford]

Logic programming : proceedings of the tenth international conference on logic programming
Testo
Logic programming : proceedings of the tenth international conference on logic programming

International conference on logic programming <10. ; 1993

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Testo
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium [1976 ; Oxford]

Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
Testo
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

Logic programming conference <5. ; 1986

Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971
Testo
Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971

International congress for logic methodology and phylosophy of science [4. ; 1971 ; Bucarest]

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979
Testo
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979

Conference on Applications of Logic to Algebra and Arithmetic <1979

2: The problem of inductive logic
Testo
2: The problem of inductive logic

International colloquium in the philosophy of science <1965

Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming
Testo
Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming
Algebraic and logic programming : second international conference
Testo
Algebraic and logic programming : second international conference
Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986
Testo
Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986

International conference on logic programming <3. ; 1986

Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987
Testo
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987

Logic meeting <1987

Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Testo
Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Physics and mathematics of the nervous system : proceedings of a Summer school organized by the International centre for theoretical physics, Trieste, and the Institute for Information Sciences, University of Tubingen, held at Trieste, August 21-31, 1973
Testo
Physics and mathematics of the nervous system : proceedings of a Summer school organized by the International centre for theoretical physics, Trieste, and the Institute for Information Sciences, University of Tubingen, held at Trieste, August 21-31, 1973
Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975
Testo
Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975

International congress of logic, methodology, and philosophy of science <5. ; 1975

Algebraic and logic programming : third international conference
Testo
Algebraic and logic programming : third international conference
Fractional calculus and its applications : proceedings of the international conference held at the University of New Haven, June, 1974
Testo
Fractional calculus and its applications : proceedings of the international conference held at the University of New Haven, June, 1974
Inflation in small countries : proceedings of an international conference held at the Institute for Advanced Studies in Vienna, November 1974
Testo
Inflation in small countries : proceedings of an international conference held at the Institute for Advanced Studies in Vienna, November 1974
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Testo
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia <1979-1980

Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Testo
Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Logic programming '89 : proceedings of the 8. conference
Testo
Logic programming '89 : proceedings of the 8. conference
Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Logic colloquium : symposium on logic held at Boston, 1972-73
Testo
Logic colloquium : symposium on logic held at Boston, 1972-73
Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Representations of algebras : proceedings of the international conference, Ottawa, 1974
Testo
Representations of algebras : proceedings of the international conference, Ottawa, 1974
Linear operators and approximation 2. : proceedings of the conference held at the Oberwolfach Mathematical research Institute, Black Forest, March 30-April 3, 1974
Testo
Linear operators and approximation 2. : proceedings of the conference held at the Oberwolfach Mathematical research Institute, Black Forest, March 30-April 3, 1974
Differential topology and geometry : proceedings of the colloquium held at Dijon, 17-22 June 1974
Testo
Differential topology and geometry : proceedings of the colloquium held at Dijon, 17-22 June 1974
International conference on differential equations : proceedings of an international conference on differential equations held at the University of Southern California, September 3-7, 1974
Testo
International conference on differential equations : proceedings of an international conference on differential equations held at the University of Southern California, September 3-7, 1974

International conference on differential equations <1974 ; Los Angeles>

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis
Testo
Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis

Research symposium on applications of sheaf theory to logic algebra and analysis <1977

Mathematical physics and physical mathematics : proceedings of the International symposium organized by the Mathematical institute of the Polish academy of sciences, The institute for nuclear research and University of Warsaw, held in Warsaw 25-30 March, 1974
Testo
Mathematical physics and physical mathematics : proceedings of the International symposium organized by the Mathematical institute of the Polish academy of sciences, The institute for nuclear research and University of Warsaw, held in Warsaw 25-30 March, 1974
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Testo
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Keisler, Howard Jerome

Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997
Testo
Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997

International conference on logic programming and non-monotonic reasoning <4. ; 1997

Algebraic number theory : proceedings of an instructional conference organized by the London Mathematical Society (a Nato advanced study institute) with the support of the International Mathematical Union
Testo
Algebraic number theory : proceedings of an instructional conference organized by the London Mathematical Society (a Nato advanced study institute) with the support of the International Mathematical Union
Logic programming '85 : proceedings of the 4. conference Tokyo, Japan, 1-3 May, 1985
Testo
Logic programming '85 : proceedings of the 4. conference Tokyo, Japan, 1-3 May, 1985
Software for numerical mathematics : Proceedings of the Loughborough University of Technology Conference of the Institute of Mathematics and its applications held in April 1973
Testo
Software for numerical mathematics : Proceedings of the Loughborough University of Technology Conference of the Institute of Mathematics and its applications held in April 1973
The development of mathematical logic
Testo
The development of mathematical logic

Nidditch, Peter Harold <1928-1983>

Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978
Testo
Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978
Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
Testo
Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
The mathematical revolution inspired by computing : based on the proceedings of a conference on The mathematical revolution inspired by computing organized by The Institute of mathematics and its applications and held at Brighton Polytechnic in April 1989
Testo
The mathematical revolution inspired by computing : based on the proceedings of a conference on The mathematical revolution inspired by computing organized by The Institute of mathematics and its applications and held at Brighton Polytechnic in April 1989

Conference on the mathematical revolution inspired by computing <1989

The state of the art in numerical analysis : proceedings of the conference on the state of the art in numerical analysis held at the University of York, April 12th-15th, 1976, organized by the Institute of mathematics and its applications
Testo
The state of the art in numerical analysis : proceedings of the conference on the state of the art in numerical analysis held at the University of York, April 12th-15th, 1976, organized by the Institute of mathematics and its applications

Conference on the state of the art in numerical analysis <1976

Annals of pure and applied logic
Testo
Annals of pure and applied logic
General Inequalities 1 : Proceedings of the First International Conference on General Inequalities held in the Mathematical Research Institute at Oberwolfach, Black Forest, May 10-14, 1976
Testo
General Inequalities 1 : Proceedings of the First International Conference on General Inequalities held in the Mathematical Research Institute at Oberwolfach, Black Forest, May 10-14, 1976

International conference on general inequalities <1. ; 1976

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968
Testo
Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988
Testo
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988

International conference on Computer logic <1988

Linear Spaces and Approximation : Proceedings of the Conference held at the Oberwolfach Mathematical Research Institute, August 20-27, 1977
Testo
Linear Spaces and Approximation : Proceedings of the Conference held at the Oberwolfach Mathematical Research Institute, August 20-27, 1977
Conference in mathematical logic - London '70
Testo
Conference in mathematical logic - London '70

Conference in mathematical logic <1970

Logic programming in action : second International logic programming Summer school, LPSS '92
Testo
Logic programming in action : second International logic programming Summer school, LPSS '92

International logic programming Summer school <2. ; 1992

Functional analysis and approximation : proceedings of the conference held at the Mathematical Research Institute at Oberwolfach, Black Forest, August 9-16, 1980
Testo
Functional analysis and approximation : proceedings of the conference held at the Mathematical Research Institute at Oberwolfach, Black Forest, August 9-16, 1980
Logic year 1979-80 : the University of Connecticut, USA
Testo
Logic year 1979-80 : the University of Connecticut, USA
Stochastic processes and their applications : proceedings of the international conference held in Nagoya, July 2-6, 1985
Testo
Stochastic processes and their applications : proceedings of the international conference held in Nagoya, July 2-6, 1985

Conference on stochastic processes and their applications <15. ; 1985

General Inequalities 2 : Proceedings of the 2. International Conference on General Inequalities held in the Mathematical Research Institute at Oberwolfach, Black Forest, July 30-August 5, 1978
Testo
General Inequalities 2 : Proceedings of the 2. International Conference on General Inequalities held in the Mathematical Research Institute at Oberwolfach, Black Forest, July 30-August 5, 1978

International conference on general inequalities <2 ; 1978

Algebraic K-theory : Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute , from August 28 to September 8, 1972
Testo
Algebraic K-theory : Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute , from August 28 to September 8, 1972
Universal algebra and lattice theory : proceedings of the fourth international conference held at Puebla, Mexico, 1982
Testo
Universal algebra and lattice theory : proceedings of the fourth international conference held at Puebla, Mexico, 1982
Integral geometry : proceedings of the AMS-IMS-SIAM Joint summer research conference held August 12-18, 1984 with support from the NAtional Science Foundation
Testo
Integral geometry : proceedings of the AMS-IMS-SIAM Joint summer research conference held August 12-18, 1984 with support from the NAtional Science Foundation
TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development
Testo
TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development

International joint conference on theory and practice of software development <2. ; 1987

Direct and converse theorems : the elements of symbolic logic
Testo
Direct and converse theorems : the elements of symbolic logic

Gradstejn, Izrail Solomonovic

4: Historical and philosophical dimensions of logic, methodology and philosophy of science
Testo
4: Historical and philosophical dimensions of logic, methodology and philosophy of science

International congress of logic, methodology, and philosophy of science <5. ; 1975

Proceedings of the second international conference on the theory of groups : Australian National University, August 13-24, 1973
Testo
Proceedings of the second international conference on the theory of groups : Australian National University, August 13-24, 1973

International conference on the theory of groups <2. ; 1973

Public transport planning and operations : ˆproceedings of ‰Seminar H held at the PTRC transport, highways and planning *summer annual meeting, University of Manchester, Institute of science and technology, England, from 13-17 September 1993
Testo
Public transport planning and operations : ˆproceedings of ‰Seminar H held at the PTRC transport, highways and planning *summer annual meeting, University of Manchester, Institute of science and technology, England, from 13-17 September 1993

PTRC Summer annual meeting, 21. <1993

Equadiff 82 : proceedings of the international conference held in Wurzburg, FRG, August 23-28, 1982
Testo
Equadiff 82 : proceedings of the international conference held in Wurzburg, FRG, August 23-28, 1982
Recent mathematical developments in control : proceedings of a conference held at the University of Bath in September, 1972, organised by the Institute of mathematics and its applications in association with the Institute of physics ... [et al.]
Testo
Recent mathematical developments in control : proceedings of a conference held at the University of Bath in September, 1972, organised by the Institute of mathematics and its applications in association with the Institute of physics ... [et al.]
2: Advanced seminar on foundations of innovative software development 2. and Colloquium on functional and logic programming and specifications (CFLP)
Testo
2: Advanced seminar on foundations of innovative software development 2. and Colloquium on functional and logic programming and specifications (CFLP)

Advanced seminar on foundations of innovative software development <2. ; 1987

Abstract spaces and approximation : proceedings of the conference, held at the Mathematical research institute at Oberwolfach, Black Forest, July 18-27, 1968
Testo
Abstract spaces and approximation : proceedings of the conference, held at the Mathematical research institute at Oberwolfach, Black Forest, July 18-27, 1968
Regional growth and regional policy within the framework of European Integration : proceedings of a Conference on the occasion of 25 years Institute for regional research at the University of Kiel, 1995
Testo
Regional growth and regional policy within the framework of European Integration : proceedings of a Conference on the occasion of 25 years Institute for regional research at the University of Kiel, 1995
Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77
Testo
Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77
Combinatorial mathematics 5. : proceedings of the fifth Australian conference, held at the Royal Melbourne institute of technology, August 24-26, 1976
Testo
Combinatorial mathematics 5. : proceedings of the fifth Australian conference, held at the Royal Melbourne institute of technology, August 24-26, 1976

Australian conference on combinatorial mathematics <5. ; 1976

Applications of Inductive Logic : proceedings of a Conference at The Queen's College
Testo
Applications of Inductive Logic : proceedings of a Conference at The Queen's College
Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983
Testo
Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Latin American symposium on mathematical logic <6. ; 1983

The mathematics of surfaces : proceedings of a conference organized by the Institute of mathematics and its applications and held at the University of Manchester, 17-19 sept., 1984
Testo
The mathematics of surfaces : proceedings of a conference organized by the Institute of mathematics and its applications and held at the University of Manchester, 17-19 sept., 1984
Set theory and logic
Testo
Set theory and logic

Stoll, Robert R.

The Journal of symbolic logic
Testo
The Journal of symbolic logic
Topological fixed point theory and applications : proceedings of a conference held at the Nankai institute of mathematics, Tianjin, PR China, April 5-8, 1988
Testo
Topological fixed point theory and applications : proceedings of a conference held at the Nankai institute of mathematics, Tianjin, PR China, April 5-8, 1988
Representations of algebras : proceedings of the third international conference on representations of algebras held in Puebla, Mexico, August 4-8 1980
Testo
Representations of algebras : proceedings of the third international conference on representations of algebras held in Puebla, Mexico, August 4-8 1980

International conference on representations of algebras <3. ; 1980

Mathematical methods in computer graphics and design : based on the proceedings of the Conference on Mathematical Methods in Computer Graphics and Design organized by the Institute of Mathematics and its Applications and held at the University of Leicester on September 28th, 1978
Testo
Mathematical methods in computer graphics and design : based on the proceedings of the Conference on Mathematical Methods in Computer Graphics and Design organized by the Institute of Mathematics and its Applications and held at the University of Leicester on September 28th, 1978
Elliptic curves and modular forms in algebraic topology : proceedings of a conference held at the Institute for advanced study, Princeton, Sept. 15-17, 1986
Testo
Elliptic curves and modular forms in algebraic topology : proceedings of a conference held at the Institute for advanced study, Princeton, Sept. 15-17, 1986
Logic in algebraic form : three languages and theories
Testo
Logic in algebraic form : three languages and theories

Craig, William

Equadiff 6 : proceedings of the International conference on differential equations and their applications held in Brno, Czechoslovakia, Aug. 26-30, 1985
Testo
Equadiff 6 : proceedings of the International conference on differential equations and their applications held in Brno, Czechoslovakia, Aug. 26-30, 1985

International conference on differential equations and their applications <6. ; 1985

Fracture of solids : proceedings of an International conference sponsored by the Institute of Metals division, American Institute of Mining, Metallurgical, and Petroleum Engineers
Testo
Fracture of solids : proceedings of an International conference sponsored by the Institute of Metals division, American Institute of Mining, Metallurgical, and Petroleum Engineers
Mathematical logic and the foundations of mathematics : an introductory survey
Testo
Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, G.T.

Graphs and combinatorics : proceedings of the capital conference on graph theory and combinatorics at the George Washington University June 18-22, 1973
Testo
Graphs and combinatorics : proceedings of the capital conference on graph theory and combinatorics at the George Washington University June 18-22, 1973

Capital conference on graph theory and combinatorics <1973

Programming language implementation and logic programming : international workshop PLILP '90
Testo
Programming language implementation and logic programming : international workshop PLILP '90

International workshop on programming language implementation and logic programming <2. ; 1990

Combinatorial mathematics : proceedings of the international conference on combinatorial theory, Canberra, August 16-27, 1977
Testo
Combinatorial mathematics : proceedings of the international conference on combinatorial theory, Canberra, August 16-27, 1977

International conference on combinatorial theory <1977

TAPSOFT '89 : proceedings of the International joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
Testo
TAPSOFT '89 : proceedings of the International joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

International joint conference on theory and practice of software development <3. ; 1989

Functional analysis and its applications: international conference, Madras, 1973
Testo
Functional analysis and its applications: international conference, Madras, 1973

International conference on functional analysis and its applications <1973; Madras>

Geometry and analysis on manifolds : proceedings of the 21st International Taniguchi symposium held at Katata, Japan, Aug. 23-29 and the Conference held at Kyoto, Aug. 31-Sept. 2, 1987
Testo
Geometry and analysis on manifolds : proceedings of the 21st International Taniguchi symposium held at Katata, Japan, Aug. 23-29 and the Conference held at Kyoto, Aug. 31-Sept. 2, 1987

International Taniguchi symposium <21. ; 1987

Functional analysis and related topics, 1991 : proceedings of the International conference in memory of professor Kosaku Yosida held at RIMS, Kyoto university, Japan, July 29-Aug. 2, 1991
Testo
Functional analysis and related topics, 1991 : proceedings of the International conference in memory of professor Kosaku Yosida held at RIMS, Kyoto university, Japan, July 29-Aug. 2, 1991
2.: Proceedings of the second international conference on representations of algebras : Ottawa, Carleton university, August 13-25, 1979
Testo
2.: Proceedings of the second international conference on representations of algebras : Ottawa, Carleton university, August 13-25, 1979

International conference on representations of algebras <2. ; 1979

Recursive function theory and logic
Testo
Recursive function theory and logic

Yasuhara, Ann

Combinatorial mathematics 3. : proceedings of the third Australian conference, held at the University of Queensland, 16-18 May, 1974
Testo
Combinatorial mathematics 3. : proceedings of the third Australian conference, held at the University of Queensland, 16-18 May, 1974

Australian conference on combinatorial mathematics <3. ; 1974

Functional analysis in Markov processes : proceedings of the International workshop held at Katata, Japan, August 21-26, 1981 and of the International conference held at Kyoto, Japan, August 27-29, 1981
Testo
Functional analysis in Markov processes : proceedings of the International workshop held at Katata, Japan, August 21-26, 1981 and of the International conference held at Kyoto, Japan, August 27-29, 1981
Numerical Analysis : proceedings of the colloquium on numerical analysis
Testo
Numerical Analysis : proceedings of the colloquium on numerical analysis

Colloquium on numerical analysis <1976

Studies on the history of logic : proceedings of the 3. simposium on the history of logic
Testo
Studies on the history of logic : proceedings of the 3. simposium on the history of logic

Symposium on the history of logic <3. ; 1993

The mathematics of finite elements and applications : proceedings of the Brunel university conference of the institute of mathematics and its applications, held in April 1972
Testo
The mathematics of finite elements and applications : proceedings of the Brunel university conference of the institute of mathematics and its applications, held in April 1972
Graph theory with applications to algorithms and computer science : proceedings of the Fifth quadrannial International conference on the Theory and applications of graphs with special emphasis on algorithms and computer science applications, held at Western Michigan, University in Kalamazoo, June 4-8, 1984
Testo
Graph theory with applications to algorithms and computer science : proceedings of the Fifth quadrannial International conference on the Theory and applications of graphs with special emphasis on algorithms and computer science applications, held at Western Michigan, University in Kalamazoo, June 4-8, 1984

International conference on the theory and application of graphs <5. ; 1984

Singularities : [proceedings of the summer institute on singularities held at Humboldt state university Arcata, California July 20-August 7, 1981]
Testo
Singularities : [proceedings of the summer institute on singularities held at Humboldt state university Arcata, California July 20-August 7, 1981]
Mathematical models in economics : proceedings of the symposium on mathematical methods of economics, February-July 1972 and of the conference on von Neumann models, 10-15 July 1972
Testo
Mathematical models in economics : proceedings of the symposium on mathematical methods of economics, February-July 1972 and of the conference on von Neumann models, 10-15 July 1972

Symposium on mathematical methods of economics <1972>

Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Testo
Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Homotopy theory and related topics : proceedings of the International conference held at Kinosaki, Japan, August 19-24, 1988
Testo
Homotopy theory and related topics : proceedings of the International conference held at Kinosaki, Japan, August 19-24, 1988
Deontic logic, computational linguistics and legal information systems : edited versions of selected papers from the international Conference on 'Logic, informatics, law' Florence, Italy, april 1981
Testo
Deontic logic, computational linguistics and legal information systems : edited versions of selected papers from the international Conference on 'Logic, informatics, law' Florence, Italy, april 1981
Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972

International Summer School on Modular functions of one variable and ar ithmetical applications <1972

Graph theory Singapore 1983 : proceedings of the First Southeast Asian graph theory colloquium, held in Singapore May 10-28, 1983
Testo
Graph theory Singapore 1983 : proceedings of the First Southeast Asian graph theory colloquium, held in Singapore May 10-28, 1983

Southeast Asian graph theory colloquium <1 ; 1983

Mathematical logic and formalized theories : a survey of basic concepts and results
Testo
Mathematical logic and formalized theories : a survey of basic concepts and results

Rogers, Robert

Nonlinear problems in the physical sciences and biology : proceedings of a Battelle Summer Institute, Seattle, July 3-28, 1972
Testo
Nonlinear problems in the physical sciences and biology : proceedings of a Battelle Summer Institute, Seattle, July 3-28, 1972
Logic and boolean algebra
Testo
Logic and boolean algebra

Arnold, Bradford Henry

Symbolic logic and the real number system : an introduction to the foundations of number systems
Testo
Symbolic logic and the real number system : an introduction to the foundations of number systems

Lightstone, A. H.

The concept and the role of the model in mathematics and natural and social sciences : proceedings of the Colloquium sponsored by the Division of philosophy of sciences of the International union of history and philosophy of sciences
Testo
The concept and the role of the model in mathematics and natural and social sciences : proceedings of the Colloquium sponsored by the Division of philosophy of sciences of the International union of history and philosophy of sciences
The geometry of metric and linear spaces : proceedings of a conference held at Michigan State University, East Lansing, June 17-19, 1974
Testo
The geometry of metric and linear spaces : proceedings of a conference held at Michigan State University, East Lansing, June 17-19, 1974
Annals of mathematical logic
Testo
Annals of mathematical logic
Geometries and groups : proceedings of a colloquium held at the Freie Universitat Berlin, May 1981
Testo
Geometries and groups : proceedings of a colloquium held at the Freie Universitat Berlin, May 1981
The bulletin of symbolic logic
Testo
The bulletin of symbolic logic
1 2 3

Filtrar Resultados

Cerca

Asignaturas

Indietro Avanti