Cargando…

The automated reasoning system ITP

Detalles Bibliográficos
Autores principales:	Lusk, E L, Overbeek, R A
Lenguaje:	eng
Publicado:	Argonne Nat. Lab. 1984
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/152477

Ejemplares similares

An ITP workbook
por: Kalman, J A
Publicado: (1986)

Implementation of monitors with macros: a programming aid for the HEP and other parallel processors
por: Lusk, E L, et al.
Publicado: (1984)

Logic machine architecture inference mechanisms: layer 2 user reference manual, release 2.0
por: Lusk, E L, et al.
Publicado: (1984)

An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982)

An approach to programming multiprocessing algorithms on the Denelcor HEP
por: Lusk, E L, et al.
Publicado: (1983)

Use of monitors in Fortran: a tutorial on the barrier, self-scheduling DO-loop, and askfor monitors
por: Lusk, E L, et al.
Publicado: (1985)

A tutorial on the Warren abstract machine for computational logic
por: Gabriel, J R, et al.
Publicado: (1985)

Use of monitors in Pascal on the Lemur: a tutorial on the barrier, self-scheduling for-loop, and askfor monitors
por: Clausing, J A, 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)

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

Scalable input/output: achieving system balance
por: Reed, Daniel A, et al.
Publicado: (2003)

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

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

An approach to implementing state space searches on heterogeneous systems of multiprocessors
por: Glickfeld, B W, et al.
Publicado: (1987)

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

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

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

Automating the design of computer systems
por: Birmingham, William P, et al.
Publicado: (1992)

Office automation systems handbook
por: Lord, Kenniston W
Publicado: (1988)

Automating system administration with Perl
por: Blank-Edelmann, David N
Publicado: (2009)

JUNOS automation cookbook: automate network devices on Juniper's operating system
por: Chappell, Adam
Publicado: (2017)

Industrial process automation systems : design and implementation
por: Mehta, B R, et al.
Publicado: (2015)

ERIL - equational reasoning: an interactive laboratory
por: Dick, A J J
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)

Automated Tests in NICOS Nightly Control System
por: Undrus, A
Publicado: (2005)

Automating Linux and Unix System Administration
por: Bauer, Kirk
Publicado: (2008)

Tools for the automation of large control systems
por: Gaspar, Clara, et al.
Publicado: (2005)

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

Tools for the Automation of Large Distributed Control Systems
por: Gaspar, Clara, et al.
Publicado: (2005)

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

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-automatic parallelization: a simplified approach to multiprocessing
por: Glickfeld, B W, et al.
Publicado: (1985)

Implementation of robot systems : an introduction to robotics, automation, and successful systems integration in manufacturing
por: Wilson, Mike
Publicado: (2015)

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

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)

Cannot write session to /tmp/vufind_sessions/sess_vra4milcjamd4trhiq3f4phqvf