Loading...

QR Code

Higher order logic theorem proving and its applications

Bibliografiske detaljer
Andre forfattere:	Claesen, Luc J M (Editor)
Format:	Printed Book
Udgivet:	North-Holland Publishing Co., Amsterdam 1993
Fag:	Computer programming

Lignende værker

Symbolic, logic and mechanical theorem proving
af: Chang, Chin-Liang
Udgivet: (1973)

First Order Logic And Automated Theorem Proving
af: Gries, David
Udgivet: (1996)

Programming with Higher-Order Logic /
af: Miller,, Dale
Udgivet: (2012)

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

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

Mechanical geometry theorem proving
af: Chou, Shang-Ching
Udgivet: (1988)

Current trends in hardware verification and automated theorem proving
af: Current trends in
Udgivet: (1989)

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

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

Automated theorem proving: theory and practice
af: Newborn, Monty
Udgivet: (2001)

Logic of programming
af: Hehner, Eric C R
Udgivet: (1991)

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

Inductive logic programming
af: Muggleton, Stephen
Udgivet: (1992)

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

The logic of programming
af: Hehner, Eric C R; Author
Udgivet: (1984)

Logic and prolog programming /
af: Kaushik,Saroj
Udgivet: (2008)

Computer logic
af: Ros, Alan
Udgivet: (1971)

Programming with Higher-order Logic
af: Miller, Dale Nadathur, Gopalan
Udgivet: (2012)

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

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

Logic of programming /
af: Hehner, Eric C. R.
Udgivet: (1991)

MATLAB and its applications in engineering
af: Bansal, Raj Kumar
Udgivet: (2016)

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

Parallel substitution algorithm: Theory and application
af: Achasova, S, et al
Udgivet: (1994)

Introduction to higher order categorical logic
af: Lambek, J
Udgivet: (1986)

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

Proving ground for U S neocolonialism /
af: Romandva, Z.
Udgivet: (1970)

Application programming for windows NT
af: Murray III, W. H.
Udgivet: (1993)

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

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

Linear programming and its applications /
af: Eiselt, Horst A.
Udgivet: (2007)

Linear programming and its applications
af: Strayer, James K.
Udgivet: (1989)

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

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

Logic, algebra, and databases /
af: Gray, Peter M. D.
Udgivet: (1988)

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

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

Logic grammars/
af: Abramson, Harvey
Udgivet: (1989)

Programmable logic controllers: programming methods and applications
af: Hackworth, John R
Udgivet: (2004)

Linear Programming and Its Applications
af: Strayer, James , K.
Udgivet: (1992)