Cargando…

ERIL - equational reasoning: an interactive laboratory

Detalles Bibliográficos
Autor principal:	Dick, A J J
Lenguaje:	eng
Publicado:	1985
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/165767

Ejemplares similares

Mathematica in the laboratory
por: Dick, Samuel, et al.
Publicado: (1997)

Commonsense Reasoning
por: Mueller, Erik T
Publicado: (2006)

The human-dimensions of human-computer interaction: balancing the HCI equation
por: McKay, Elspeth
Publicado: (2008)

Reasoning about uncertainty
por: Halpern, Joseph Y
Publicado: (2017)

Abductive reasoning and learning
por: Gabbay, Dov M, et al.
Publicado: (2000)

The automated reasoning system ITP
por: Lusk, E L, et al.
Publicado: (1984)

SARA - a small automated reasoning assistant
por: Gabriel, J R
Publicado: (1986)

Approximate reasoning in expert systems
por: Bandler, Wyllis, et al.
Publicado: (1985)

Handbook of parallel constraint reasoning
por: Hamadi, Youssef, et al.
Publicado: (2018)

Reason 3 for Windows and Mac
por: Lyford, Joe
Publicado: (2005)

101 reasons: to switch to the Mac
por: McElroy, Mark
Publicado: (2006)

Erratum for Erill and Caruso, Complete Genome Sequence of Bacillus cereus Group Phage TsarBomba
por: Erill, Ivan, et al.
Publicado: (2015)

Volterra integral and differential equations
por: Burton, T A
Publicado: (1983)

MATLAB differential equations
por: Pérez López, César
Publicado: (2014)

Differential equations with Mathematica
por: Abell, Martha L, et al.
Publicado: (2004)

Differential equations with Mathematica
por: Abell, Martha L, et al.
Publicado: (1997)

Abduction in context: the conjectural dynamics of scientific reasoning
por: Park, Woosuk
Publicado: (2016)

Probabilistic reasoning in expert systems: theory and algorithms
por: Neapolitan, Richard E
Publicado: (1990)

Data Representations, Transformations, and Statistics for Visual Reasoning
por: Maciejewski, Ross
Publicado: (2011)

Ethical reasoning in big data: an exploratory analysis
por: Collmann, Jeff, et al.
Publicado: (2016)

Quasi-periodic solutions of hamiltonian evolution equations
por: Bourgain, J
Publicado: (1995)

Microcomputers and laboratory instrumentation
por: Malcolme-Lawes, David J, et al.
Publicado: (1984)

Heuristic reasoning about uncertainty: an artificial intelligence approach
por: Cohen, Paul R
Publicado: (1985)

Probabilistic reasoning in intelligent systems: networks of plausible inference
por: Pearl, Judea
Publicado: (1988)

Subjective logic: a formalism for reasoning under uncertainty
por: Jøsang, Audun
Publicado: (2016)

Logic in computer science: modelling and reasoning about systems
por: Huth, Michael, et al.
Publicado: (2004)

8th International Workshop on Non-Monotonic Reasoning
por: Baral, Chitta, et al.
Publicado: (2000)

Planning and understanding: a computational approach to human reasoning
por: Wilensky, Robert
Publicado: (1983)

Partial differential equations with Mathematica
por: Vvedensky, Dimitri
Publicado: (1993)

Web development with ReasonML: type-safe, functional programming for JavaScript developers
por: Eisenberg, J David
Publicado: (2019)

An implicit iterative scheme for solving large systems of linear equations
por: Barry, J M, et al.
Publicado: (1986)

Construction of periodic solutions of nonlinear wave equations in higher dimension
por: Bourgain, J
Publicado: (1995)

Laboratory minicomputing
por: Bourne, John R
Publicado: (1981)

Rational reasoning with finite conditional knowledge bases: theoretical and implementational aspects
por: Eichhorn, Christian
Publicado: (2019)

The finite difference method in partial differential equations
por: Mitchell, Andrew Ronald, et al.
Publicado: (1980)

Generalized Picard theorem for ordinary differential equations
por: Pomentale, T
Publicado: (1973)

Simula Research Laboratory
por: Tveito, Aslak
Publicado: (2010)

Introduction to ordinary differential equations with Mathematica: an integrated multimedia approach
por: Gray, Alfred, et al.
Publicado: (1997)

Detector simulation support at the SSC Laboratory
por: Roberts, L A
Publicado: (1992)

Differential equations and boundary value problems: computing and modeling
por: Edwards, C Henry, et al.
Publicado: (2000)

Cannot write session to /tmp/vufind_sessions/sess_1njlauup4lj37ssv3msv5ifonc