Cargando...

Código QR

Higher order logic theorem proving and its applications

Detalles Bibliográficos
Outros autores:	Claesen, Luc J M (Editor)
Formato:	Printed Book
Publicado:	North-Holland Publishing Co., Amsterdam 1993
Subjects:	Computer programming

Títulos similares

Symbolic, logic and mechanical theorem proving
por: Chang, Chin-Liang
Publicado: (1973)

First Order Logic And Automated Theorem Proving
por: Gries, David
Publicado: (1996)

Programming with Higher-Order Logic /
por: Miller,, Dale
Publicado: (2012)

Symbolic logic and mechanical theorem proving /
por: Chang, Chin-lidng
Publicado: (1973)

Logic for computer science: foundations of automatic theorem proving
por: Gallier, Jean H; Author
Publicado: (1987)

Mechanical geometry theorem proving
por: Chou, Shang-Ching
Publicado: (1988)

Current trends in hardware verification and automated theorem proving
por: Current trends in
Publicado: (1989)

Logic For Computer Science: Foundations Of Automatic Theorem Proving
por: Gallier, Jean H
Publicado: (1987)

Logic for computer science : Foundations of Automatic Theorem proving/
por: Gallier, Jean H.
Publicado: (1987)

Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001)

Logic of programming
por: Hehner, Eric C R
Publicado: (1991)

Logic for computer science : foundations of automatic theorem proving /
por: Gallier, Jean H.
Publicado: (1986)

Inductive logic programming
por: Muggleton, Stephen
Publicado: (1992)

Current Trends In Hardware Verification And Automated Theorem Proving
por: G. Birtwistle, P A Subrahmanian
Publicado: (1989)

The logic of programming
por: Hehner, Eric C R; Author
Publicado: (1984)

Logic and prolog programming /
por: Kaushik,Saroj
Publicado: (2008)

Computer logic
por: Ros, Alan
Publicado: (1971)

Programming with Higher-order Logic
por: Miller, Dale Nadathur, Gopalan
Publicado: (2012)

How to prove it : a structured approach /
por: Velleman, Daniel J.
Publicado: (2006)

LISP, Lore and logic: an algebraic view of Lisp programming, foundations and applications
por: Stark, W Richard
Publicado: (1990)

Logic of programming /
por: Hehner, Eric C. R.
Publicado: (1991)

MATLAB and its applications in engineering
por: Bansal, Raj Kumar
Publicado: (2016)

The Temporal logic of reactive and concurrent systems
por: Manna, Zohar, et al.
Publicado: (1992)

Parallel substitution algorithm: Theory and application
por: Achasova, S, et al
Publicado: (1994)

Introduction to higher order categorical logic
por: Lambek, J
Publicado: (1986)

Prolog versus you: an introduction to logic programming
por: Edman, Anneli; Author, et al.
Publicado: (1989)

Proving ground for U S neocolonialism /
por: Romandva, Z.
Publicado: (1970)

Application programming for windows NT
por: Murray III, W. H.
Publicado: (1993)

Introduction to Statistical Inference and Its Applications with R /
Publicado: (2009)

Linear programming and its applications /
por: Eiselt, Horst A., 1950-
Publicado: (2007)

Linear programming and its applications /
por: Eiselt, Horst A.
Publicado: (2007)

Linear programming and its applications
por: Strayer, James K.
Publicado: (1989)

A Textbook on computer programming :With industrial and Engineering applications
por: Ramani, S.
Publicado: (1981)

Reading, writing, and proving : a closer look at mathematics /
por: Daepp, Ulrich
Publicado: (2003)

Logic, algebra, and databases /
por: Gray, Peter M. D.
Publicado: (1988)

Program logics for certified compilers /
por: Appel, Andrew W., 1960-

Fortran 77: with applications to science and engineering /
por: Jain, R K .
Publicado: (1988)

Logic grammars/
por: Abramson, Harvey
Publicado: (1989)

Programmable logic controllers: programming methods and applications
por: Hackworth, John R
Publicado: (2004)

Linear Programming and Its Applications
por: Strayer, James , K.
Publicado: (1992)