CIRM - Videos & books LibraryDocuments

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

Localisation : Colloque 1er étage (MARS)

algorithme pour tableau pour calcul propositionnel intuition # circonscription et modèles minimaux pour logique proportionn # méthode de recherche de la preuve en logique linéaire # preuve de théorème # preuve de théorème par élimination de modèles # tableau analytique # tableau pour logique modale propositionnelle de non-monotoni # tableaux clausaux avec liens et lemmes # élagage de l'espace de recherche en faisant échec à la crois

Documents

Thesaurus

Revues

Documents 03Fxx | enregistrements trouvés : 59

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

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

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

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

Proceeding of the Herbrand symposium proceedings of the Herbrand symposiumJuly 16-24 Stern, J. | 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

Principales of intuitionismlectures presented at the summer conference on intuitionism and proof theory at Suny Buffalo Troelstra, A. S. | Springer-Verlag 1969 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

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

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

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

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

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

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

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

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

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

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

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

Proceeding of the Herbrand symposium
proceedings of the Herbrand symposium
July 16-24 Stern, J. | North-Holland Publishing Co. 1982 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

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

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

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

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

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

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

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

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