Cargando…

An LMA-based theorem prover

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

Ejemplares similares

A Fully Automatic Theorem Prover with Human-Style Output
por: Ganesalingam, M., et al.
Publicado: (2016)

GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
por: Olšák, Miroslav
Publicado: (2020)

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

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)

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

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)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
por: Babikian, Aren A., et al.
Publicado: (2020)

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)

The Move Prover
por: Zhong, Jingyi Emma, et al.
Publicado: (2020)

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
por: Girlando, Marianna, et al.
Publicado: (2020)

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

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

Representation theorems in computer science: a treatment in logic engineering
por: Özçep, Özgür Lütfü
Publicado: (2019)

Dynamics of the Bell Prover, II
por: Ruegg, Fillmer W., et al.
Publicado: (1990)

Kali Cyanate: Provers Needed
por: Tyrrell, J. D.
Publicado: (1888)

Norge prøver seg i CERN
por: Dybing, A
Publicado: (1985)

The Higher-Order Prover Leo-II
por: Benzmüller, Christoph, et al.
Publicado: (2015)

A Woman’s International Provers’ Association
por: Penfield, Sophia
Publicado: (1894)

Seventeen provers of the world: foreword by Dana S. Scott
por: Hutchison, David, et al.
Publicado: (2006)

Uhelds-magneten i CERN prøver igen
Publicado: (2009)

Implementing Superposition in iProver (System Description)
por: Duarte, André, et al.
Publicado: (2020)

Quasi-automatic parallelization: a simplified approach to multiprocessing
por: Glickfeld, B W, et al.
Publicado: (1985)

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

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

Prolog Technology Reinforcement Learning Prover: (System Description)
por: Zombori, Zsolt, et al.
Publicado: (2020)

A programmer's guide to ZPL
por: Snyder, Lawrence, et al.
Publicado: (1999)

Using MPI-2: advanced features of the message-passing interface
por: Gropp, William, et al.
Publicado: (1999)

Beowulf cluster computing with Windows
por: Sterling, Thomas, et al.
Publicado: (2001)

Beowulf cluster computing with Linux
por: Sterling, Thomas, et al.
Publicado: (2001)

Enabling technologies for petaflops computing
por: Sterling, Thomas, et al.
Publicado: (1995)

PVM: a users' guide and tutorial for networked parallel computing
por: Geist, Al, et al.
Publicado: (1994)

Effects of Supraglottic Airway Devices on Hemodynamic Response and Optic Nerve Sheath Diameter: Proseal LMA, LMA Supreme, and I-gel LMA
por: Okyay, Rahşan Dilek, et al.
Publicado: (2023)

File-Based Data Flow in the CMS Filter Farm
por: Andre, J M, et al.
Publicado: (2015)

Planning and design for high-tech web-based training
por: Stone, David E, et al.
Publicado: (2002)

A Pattern-based Continuous Integration Framework for Distributed EGEE Grid Middleware Development
por: Di Meglio, A, et al.
Publicado: (2005)

A Hardware Based Cluster Control And Management System
por: Panse, R, et al.
Publicado: (2005)

MonALISA-based Grid monitoring and control
por: Grigoras, C, et al.
Publicado: (2011)

Web application design handbook: best practices for web-based software
por: Fowler, Susan L, et al.
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_jjn2g714j9tglf7fg4blrbusud