UN-BAYESIAN IMPLICATIONS OF IMPROPER BAYES INFERENCE IN ROUTINE STATISTICAL PROBLEMSSTONE M; DAWID AP.1972; BIOMETRIKA; G.B.; DA. 1972; VOL. 59; NO 2; PP. 369-375; BIBL. 9 REF.Serial Issue

COMPARISON OF NATURAL DEDUCTION AND LOCKING RESOLUTION IMPLEMENTATIONSGREENBAUM S; NAGASAKA A; O'RORKE P et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 159-171; BIBL. 16 REF.Conference Paper

CONGRUENCES DEDUCTIVESBOTH N.1972; STUD. CERC. MAT.; ROMAN; DA. 1972; VOL. 24; NO 5; PP. 683-685; ABS. FR.; BIBL. 2 REF.Serial Issue

EXTRACTION OF WAVE PARAMETERS FROM MEASURED HF RADAR SEA-ECHO DOPPLER SPECTRA.BARRICK DE.1977; RADIO SCI.; U.S.A.; DA. 1977; VOL. 12; NO 3; PP. 415-424; BIBL. 14 REF.Article

DETERMINATION OF THE TRANSFER FUNCTION OF A DIGITAL FILTER FROM THE REAL PART OF THE FREQUENCY RESPONSEUNBEHAUEN R.1972; ARCH. ELEKTRON. UBERTRAG. TECH.; DTSCH.; DA. 1972; VOL. 26; NO 12; PP. 551-557; ABS. ALLEM.; BIBL. 5 REF.Serial Issue

LA CARACTERISATION ALGEBRIQUE DES SYSTEMES ET THEORIES DEDUCTIFSBOTH N.1972; STUD. CERC. MAT.; ROMAN; DA. 1972; VOL. 24; NO 5; PP. 679-681; ABS. .; BIBL. 5 REF.Serial Issue

Computational reflection via mechanized logical deductionCIMATTI, A; TRAVERSO, P.International journal of intelligent systems. 1996, Vol 11, Num 5, pp 279-293, issn 0884-8173Article

A LAGRANGIAN DERIVATION OF THE ACTION-CONSERVATION THEOREM FOR DENSITY WAVESDEWAR RL.1972; ASTROPHYS. J.; U.S.A.; DA. 1972; VOL. 174; NO 2, PART 1; PP. 301-307; BIBL. 15 REF.Serial Issue

EFFICIENT HYBRID AND STATE-SPACE ANALYSIS OF THE ADJOINT NETWORKGADENZ RN; TEMES GC.1972; I.E.E.E. TRANS. CIRCUIT THEORY; U.S.A.; DA. 1972; VOL. 19; NO 5; PP. 520-521; BIBL. 7 REF.Serial Issue

Can Deduction be Justified?KHLENTZOS, D.Logique et Analyse. 1988, Vol 31, Num 123-124, pp 199-212Article

Structuring metatheory on inductive definitionsBASIN, David; MATTHEWS, Sean.Information and computation (Print). 2000, Vol 162, Num 1-2, pp 80-95, issn 0890-5401Article

DENSITE D'UN ARBRE DE DEDUCTION ET CAPACITE ACTIVE D'UNE GRAMMAIREDIKOVSKIJ A YA.1972; PROBL. PEREDACHI INFORM.; S.S.S.R.; DA. 1972; VOL. 8; NO 4; PP. 88-98; BIBL. 11 REF.Serial Issue

The tableau browser SNARKSKETTNER, M; EISINGER, N.Lecture notes in computer science. 1997, pp 408-411, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Schematismus und Deduktion in Kants Kritik der reinen VernunftFREULER, L.Kant-Studien. 1991, Vol 82, Num 4, pp 397-413, issn 0022-8877Article

Predication and Deduction in Aristotle : Aspirations to CompletenessSMITH, R.Topoi. 1991, Vol 10, Num 1, pp 43-52, issn 0167-7411Article

FUZZY-PLANNER: REASONING WITH INEXACT CONCEPTS IN A PROCEDURAL PROBLEM-SOLVING LANGUAGE.KLING R.1974; J. CYBERN.; U.S.A.; DA. 1974; VOL. 4; NO 2; PP. 105-122; BIBL. 16 REF.Article

Efficient data structures for deduction systemsOHLBACH, H. J.Lecture notes in computer science. 1997, Vol 1341, pp 1-2, issn 0302-9743, isbn 3-540-63792-3Conference Paper

Nouvelles techniques pour la construction de modèles finis et infinis en Déduction Automatique = New Techniques for Finite and Infinite Model Building in Automated DeductionPeltier, Nicolas; Caferra, Ricardo.1997, 287 p.Thesis

Approches directe et par traduction en logiques modales: nouvelles stratégies et traduction inverse de preuves = Direct method and translation method for mechanizing modal logics: new strategies and backward translationDemri, Stéphane; Caferra, R.1994, 276 p.Thesis

Kants transzendentale Deduktion der reinen Verstandesbegriffe (B). Ein kritischer Forschungsbericht. Zweiter TeilBAUMANNS, P.Kant-Studien. 1991, Vol 82, Num 4, pp 436-455, issn 0022-8877Article

Kants transzendentale Deduktion der reinen Verstandesbegriffe (B.). Ein kritischer Forschungsbericht. Erster TeilBAUMANNS, P.Kant-Studien. 1991, Vol 82, Num 3, pp 329-348, issn 0022-8877Article

Partial deduction of logic programs wrt well-founded semanticsCHANDRABOSE ARAVINDAN; PHAN MINH DUNG.New generation computing. 1994, Vol 13, Num 1, pp 45-74, issn 0288-3635Article

Information loss in temporal knowledge representations = Perte d'information en représentations de connaissances temporellesKNIGHT, B.Computer journal (Print). 1993, Vol 36, Num 2, pp 127-136, issn 0010-4620Article

The deduction rule and linear and near-linear proof simulationsBONET, M. L; BUSS, S. R.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 688-709, issn 0022-4812Conference Paper

A LANGUAGE FOR EXPRESSING MATHEMATICAL KNOWLEDGE IN AUTOMATIC THEOREM PROVINGPASTRE D.1982; ECAI 82. EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE/1982-07-12/ORSAY; DEU; KAISERLAUTERN: IMPR. ABTEILUNG FOTO-REPRO-DRUCK DER UNIVERSITAET KAISERLAUTERN; DA. 1982; PP. 116-118; BIBL. 29 REF.Conference Paper