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 : 59

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

Proceeding of the Herbrand symposium proceedings of the Herbrand symposiumJuly 16-24 Stern, J. | North-Holland Publishing Co. 1982 Nouveau

The L.E.J. brouwer centenary symposiumproceedings of a conferenceJune 8-13 Troelstra, A. S. ; Van Dalen, D. | North-Holland Publishing Co. 1982 Nouveau

Problems in the constructive trend in mathematics VI Orevkov, V. P. ; Sanin, N. A. | American Mathematical Society 1976 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

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

Mathematical foundations of computer science 1977 :proceedings,6th symposium#Sept. 5-9 Gruska, J. | Springer-Verlag 1977 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

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

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

Principales of intuitionismlectures presented at the summer conference on intuitionism and proof theory at Suny Buffalo Troelstra, A. S. | Springer-Verlag 1969 Nouveau

Symposium on automatic demonstrationDec. Lacombe, D. ; Laudet, M. ; Nolin, L. ; Schützenberger, M. | Springer-Verlag 1970 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

Logic and computational complexity :international workshop LCC'94#Oct. 13-16 Leivant, Daniel | Springer 1995 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

Filtrer

Type

Codes MSC

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

Proceeding of the Herbrand symposium
proceedings of the Herbrand symposium
July 16-24 Stern, J. | North-Holland Publishing Co. 1982 Nouveau

The L.E.J. brouwer centenary symposium
proceedings of a conference
June 8-13 Troelstra, A. S. ; Van Dalen, D. | North-Holland Publishing Co. 1982 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

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

Mathematical foundations of computer science 1977 :
proceedings,6th symposium#Sept. 5-9 Gruska, J. | Springer-Verlag 1977 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

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

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

Principales of intuitionism
lectures presented at the summer conference on intuitionism and proof theory at Suny Buffalo Troelstra, A. S. | Springer-Verlag 1969 Nouveau

Symposium on automatic demonstration
Dec. Lacombe, D. ; Laudet, M. ; Nolin, L. ; Schützenberger, M. | Springer-Verlag 1970 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

Logic and computational complexity :
international workshop LCC'94#Oct. 13-16 Leivant, Daniel | Springer 1995 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