An analysis of the revised HPA dosimetry protocolsNAHUM, A. E; THWAITES, D. I; ANDREO, P et al.Physics in medicine & biology (Print). 1988, Vol 33, Num 8, pp 923-938, issn 0031-9155Article

Reasoning about action 1: a possible worlds approachGINSBERG, M. L; SMITH, D. E.Artificial intelligence. 1988, Vol 35, Num 2, pp 165-195, issn 0004-3702Article

A unified formalism for knowledge representationBITTENCOURT, Guilherme.Rapport de recherche - IMAG. 1988, Vol 747, issn 0750-7380, 15 p.Report

Implication and analysis in classical frege structuresFLAGG, R. C; MYHILL, J.Annals of pure and applied logic. 1987, Vol 34, Num 1, pp 33-85, issn 0168-0072Article

Bornes de CRAMER-Rao en traitement d'antenne. I: Formalisme = Cramer-Rao bounds and antenna processing. I. FormalismKOPP, L; THUBERT, D.T.S. Traitement du signal. 1986, Vol 3, Num 3, pp 111-125Article

Élégance, complexité et subtilités de la formalisation des plans expérimentaux = The elegance, complexity and subtleties of the formalization of experimentsMATHY, Fabien.Bulletin de psychologie. 2006, Vol 59, Num 482, issn 0007-4403, 187-193, 267 [8 p.]Article

Systematization of finite many-valued logics through the method of tableauxCARNIELLI, W. A.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 473-493, issn 0022-4812Article

Formalisation automatique d'un texte sans repérage préalableBOL'SHAKOV, I. A.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1987, Num 6, pp 30-31, issn 0548-0027Article

Generalised algebraic theories and contextual categoriesCARTMELL, J.Annals of pure and applied logic. 1986, Vol 32, Num 3, pp 209-243, issn 0168-0072Article

Formalisation des lois de l'optimisation multiobjectif de la commande des systèmes électroénergétiquesBORISOV, R. I.Èlektričestvo. 1986, Num 1, pp 5-8, issn 0013-5380Article

Natural law and evolution. Towards a natural classification of order. IIDAHLBERG, W.International classification. 1986, Vol 13, Num 2, pp 65-72, issn 0340-0050Article

La modélisation bibliographique: nature, aspects, variantesUZILEVSKIJ, G. YA.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1986, Num 9, pp 23-28, issn 0548-0027Article

Raisonnement et conceptualisation = Reasoning and conceptualizationVERGNAUD, G.Le Courrier du C.N.R.S. 1992, Num 79, issn 0153-985X, p. 39Article

Integrating classical and intuitionistic type theoryFLAGG, R. C.Annals of pure and applied logic. 1986, Vol 32, Num 1, pp 27-51, issn 0168-0072Article

Sur l'arithmétique avec la notion de nombre accessibleBOZHICH, E. S.Izvestiâ Akademii nauk SSSR. Seriâ matematičeskaâ. 1986, Vol 50, Num 6, pp 1123-1155, issn 0373-2436Article

Biochemical systems theory : operational differences among variant representations and their significanceSAVAGEAU, M. A.Journal of theoretical biology. 1991, Vol 151, Num 4, pp 509-530, issn 0022-5193Article

Formal methods in software engineeringLEVESON, N. G.IEEE transactions on software engineering. 1990, Vol 16, Num 9, issn 0098-5589, 175 p.Serial Issue

Intentional possibilistic approach to dealing with incompleteness, vagueness and uncertaintyDOWLATSHAHI, F; KOHOUT, L. J.Fuzzy sets and systems. 1988, Vol 25, Num 3, pp 277-295, issn 0165-0114Article

Organizing and managing supplier relationships in information technology procurementHECKMAN, R.International journal of information management. 1999, Vol 19, Num 2, pp 141-155, issn 0268-4012Article

Certificate policies formalisation and evaluationKLOBUCAR, T; JERMAN-BLAZIC, B.IFIP TC11 conferenceIFIP TC11 conferenceSEC '98 : international conference on information securitySEC '98 : international conference on information security. 1998, pp 509-514, isbn 3-85403-116-5Conference Paper

La formalisation des raisonnements dans les sciences de l'homme = Formalization and reasoning in human sciencesGARDIN, J.-C.Le Courrier du C.N.R.S. 1992, Num 79, issn 0153-985X, p. 107Article

On the algebra of interactive fuzzy numbersBUCKLEY, J. J.Fuzzy sets and systems. 1989, Vol 32, Num 3, pp 291-306, issn 0165-0114Article

Preliminary notes on a new modal syllogisticENGLEBRETSEN, G.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 381-395, issn 0029-4527Article

The logically simplest form of the infinity axiomPARLAMENTO, F; POLICRITI, A.Proceedings of the American Mathematical Society. 1988, Vol 103, Num 1, pp 274-276, issn 0002-9939Article

The Edinburgh designer system as a framework for robotics: the design of behaviorPOPPLESTONE, R. J.Artificial intelligence for engineering design, analysis and manufacturing. 1987, Vol 1, Num 1, pp 25-36, issn 0890-0604Article