CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 392 p.

Monographie de l'enseignement mathématique , 0030

Localisation : Colloque 1er étage (ZURI)

algorithme # algorithme de fermeture oblique rapide # algèbre de Boole # arithmétique de Peano # complexité algébrique # complexité informatique # logique # machine de Turing # machine à accès aléatoire # problème de décision # théorie de Morse

Documents

Thesaurus

Revues

Documents 03Fxx | enregistrements trouvés : 60

Logic and algorithmican international symposium held in honour of ernest specker for his 60th geburstages,zurich,fev. 5-11,1980 | Enseignement Mathematics 1982 Nouveau

Logic and combinatorics(Conference in Mathematical Sciences on applications of mathematical logic to combinatorics,held at Humboldt State Univ.,Arcata,California,Aug. 4-10,1985) | American Mathematical Society 1988 Nouveau

Theorem proving with analytic tableaux and related methodsworkshop on theorem proving with analytic tableaux and related methods, Marseille, France, April 28-30, 1993 Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner | Im Stadtwald W6600 Saarbrücken 1993 Nouveau

Atti degli incontri di logica matematica,vol. 1siena,7-9 gennaio,15-17 aprile,4-6 giugno,1982 Bernardi, Claudio | Dipartimento Di Matematica 1983 Nouveau

Atti degli incontri di logica matematica,vol. 2siena,5-8 gennaio,6-9 aprile,1983,9-12 gennaio,25-28 aprile,1984 Bernardi, Claudio ; Pagli, Paolo | Dipartimento Di Matematica 1985 Nouveau

Computation and proof theory, part II :proceedings of the logic colloquium held in aachen#July 18-23 Borger, E. ; Oberschelp, W. ; Richter, M. M. | Springer-Verlag 1984 Nouveau

Models and compatibility :Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Sets and proofs :Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Logic colloquium 2007.Proceedings of the European summer meeting of the Association for Symbolic LogicWroclaw # july 14-19, 2007 Delon, Francoise ; Kohlenbach, Ulrich ; Maddy, Penelope ; Stephan, Frank | Cambridge University Press;Association for Symbolic Logic 2010 Nouveau

Proof theory symposiondedicated to Kurt Schütte on the occasion of his 65th birthdayproceedings of the international summer institute and logic colloquiumISILC Diller, J. ; Muller, G. H. | Springer-Verlag 1975 Nouveau

Atti degli incontri di logica matematica,vol.3siena,8-11 gennaio,1985,padova,24-27 ottobre,1985,siena 2-5 aprile,1986 Ferro, Ruggero ; Zanardo, Alberto | Dipartimento Di Matematica 1987 Nouveau

Mathematical foundations of computer science 1977 :proceedings,6th symposium#Sept. 5-9 Gruska, J. | Springer-Verlag 1977 Nouveau

Intuitionism and proof theory :proceedings of the summer conference on ... held at the State University of New York#Aug. Kino, A. ; Myhill, J. ; Vesley, Richard Eugene | North-Holland Publishing Co. 1970 Nouveau

Symposium on automatic demonstrationDec. Lacombe, D. ; Laudet, M. ; Nolin, L. ; Schützenberger, M. | Springer-Verlag 1970 Nouveau

Logic colloquium' 80papers intended for the european summer meeting of the association for symbolic logicAug. 24-30 Lascar, D. ; Smiley, T. J. ; Van Dalen, D. | North-Holland Publishing Co. 1982 Nouveau

Logic and computational complexity :international workshop LCC'94#Oct. 13-16 Leivant, Daniel | Springer 1995 Nouveau

Logic symposia hakone 1979, 1980 :proceedings of conferences on... held in hakone#March 21-24 and Feb. 4-7 Muller, G. H. ; Takeuti, G. ; Tugue, T. | Springer-Verlag 1985 Nouveau

Problems in the constructive trend in mathematics VI Orevkov, V. P. ; Sanin, N. A. | American Mathematical Society 1976 Nouveau

Constructive mathematics :proceedings of the new mexico state university conference held at las cruces#Aug. 11-15 Richman, F. | Springer-Verlag 1981 Nouveau

Mathematical logic and applicationsproceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989 Nouveau

Filtrer

Type

Auteurs

Langue

Documents

Références

Auteurs

Thesaurus

Logic and algorithmic
an international symposium held in honour of ernest specker for his 60th geburstages,zurich,fev. 5-11,1980 | Enseignement Mathematics 1982 Nouveau

Logic and combinatorics
(Conference in Mathematical Sciences on applications of mathematical logic to combinatorics,held at Humboldt State Univ.,Arcata,California,Aug. 4-10,1985) | American Mathematical Society 1988 Nouveau

Theorem proving with analytic tableaux and related methods
workshop on theorem proving with analytic tableaux and related methods, Marseille, France, April 28-30, 1993 Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner | Im Stadtwald W6600 Saarbrücken 1993 Nouveau

Atti degli incontri di logica matematica,vol. 1
siena,7-9 gennaio,15-17 aprile,4-6 giugno,1982 Bernardi, Claudio | Dipartimento Di Matematica 1983 Nouveau

Atti degli incontri di logica matematica,vol. 2
siena,5-8 gennaio,6-9 aprile,1983,9-12 gennaio,25-28 aprile,1984 Bernardi, Claudio ; Pagli, Paolo | Dipartimento Di Matematica 1985 Nouveau

Computation and proof theory, part II :
proceedings of the logic colloquium held in aachen#July 18-23 Borger, E. ; Oberschelp, W. ; Richter, M. M. | Springer-Verlag 1984 Nouveau

Models and compatibility :
Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Sets and proofs :
Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007 Delon, Francoise ; Kohlenbach, Ulrich ; Maddy, Penelope ; Stephan, Frank | Cambridge University Press;Association for Symbolic Logic 2010 Nouveau

Proof theory symposion
dedicated to Kurt Schütte on the occasion of his 65th birthday
proceedings of the international summer institute and logic colloquium
ISILC Diller, J. ; Muller, G. H. | Springer-Verlag 1975 Nouveau

Atti degli incontri di logica matematica,vol.3
siena,8-11 gennaio,1985,padova,24-27 ottobre,1985,siena 2-5 aprile,1986 Ferro, Ruggero ; Zanardo, Alberto | Dipartimento Di Matematica 1987 Nouveau

Mathematical foundations of computer science 1977 :
proceedings,6th symposium#Sept. 5-9 Gruska, J. | Springer-Verlag 1977 Nouveau

Intuitionism and proof theory :
proceedings of the summer conference on ... held at the State University of New York#Aug. Kino, A. ; Myhill, J. ; Vesley, Richard Eugene | North-Holland Publishing Co. 1970 Nouveau

Symposium on automatic demonstration
Dec. Lacombe, D. ; Laudet, M. ; Nolin, L. ; Schützenberger, M. | Springer-Verlag 1970 Nouveau

Logic colloquium' 80
papers intended for the european summer meeting of the association for symbolic logic
Aug. 24-30 Lascar, D. ; Smiley, T. J. ; Van Dalen, D. | North-Holland Publishing Co. 1982 Nouveau

Logic and computational complexity :
international workshop LCC'94#Oct. 13-16 Leivant, Daniel | Springer 1995 Nouveau

Logic symposia hakone 1979, 1980 :
proceedings of conferences on... held in hakone#March 21-24 and Feb. 4-7 Muller, G. H. ; Takeuti, G. ; Tugue, T. | Springer-Verlag 1985 Nouveau

Constructive mathematics :
proceedings of the new mexico state university conference held at las cruces#Aug. 11-15 Richman, F. | Springer-Verlag 1981 Nouveau

Mathematical logic and applications
proceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989 Nouveau