↓ Skip to main content

COLOG-88

Overview of attention for book
Cover of 'COLOG-88'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 43 Algebraic specified processes and enumerable models
  3. Altmetric Badge
    Chapter 44 On conditions of full coherence in biclosed categories: A new application of proof theory
  4. Altmetric Badge
    Chapter 45 The use of justification systems for integrated semantics
  5. Altmetric Badge
    Chapter 46 An equational deductive system for the differential and integral calculus
  6. Altmetric Badge
    Chapter 47 Inductively defined types
  7. Altmetric Badge
    Chapter 48 Algorithms for probabilistic inference
  8. Altmetric Badge
    Chapter 49 Geometry of interaction 2: Deadlock-free algorithms
  9. Altmetric Badge
    Chapter 50 On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions
  10. Altmetric Badge
    Chapter 51 β-Reductions and β-developments of λ-terms with the least number of steps
  11. Altmetric Badge
    Chapter 52 Group-theoretic approach to intractable problems
  12. Altmetric Badge
    Chapter 53 On some applications of Heyting-valued analysis II
  13. Altmetric Badge
    Chapter 54 Mathematics of infinity
  14. Altmetric Badge
    Chapter 55 Gentzen-type systems and resolution rules part I propositional logic
  15. Altmetric Badge
    Chapter 56 On the problem of reducing search in logic program execution
  16. Altmetric Badge
    Chapter 57 Correctness of short proofs in theory with notions of feasibility
  17. Altmetric Badge
    Chapter 58 A formulation of the simple theory of types (for Isabelle)
  18. Altmetric Badge
    Chapter 59 On connections between classical and constructive semantics
  19. Altmetric Badge
    Chapter 60 Flow-diagrams with sets
  20. Altmetric Badge
    Chapter 61 The resolution program, able to decide some solvable classes
  21. Altmetric Badge
    Chapter 62 A structural completeness theorem for a class of conditional rewrite rule systems
  22. Altmetric Badge
    Chapter 63 A proof-search method for the first order logic
Attention for Chapter 48: Algorithms for probabilistic inference
Altmetric Badge

Citations

dimensions_citation
6 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Algorithms for probabilistic inference
Chapter number 48
Book title
COLOG-88
Published by
Springer, Berlin, Heidelberg, January 1990
DOI 10.1007/3-540-52335-9_48
Book ISBNs
978-3-54-052335-2, 978-3-54-046963-6
Authors

E. Ya. Dantsin, Dantsin, E. Ya.