Logic for computer science Foundations of automatic theorem proving

Logic for computer science Foundations of automatic theorem proving

Bibliographic Details
Main Author:	Gallier, Jean H. (Author)
Format:	Book
Language:	English
Published:	New York John Wiley & Sons c1987
Series:	Harper & Row Computer Science and Technology Series
Subjects:	COMPUTER SCIENCE Υπολογιστική

Similar Items

Optimization and Computational Logic
by: McAloon, Ken, et al.
Published: (1996)

Discrete Mathematics in Computer Science
by: McAllister, David F., et al.
Published: (1977)

Foundations of logic programming
by: Lloyd, J. W. 1947- (John Wylie)
Published: (1984)

Logic programming and knowledge engineering
by: Amble, Tore
Published: (1987)

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
by: Steeb, Willi-Hans
Published: (2001)

Semantics and Logic of Computation

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Published: (1987)

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Published: (1988)

A computational logic handbook
by: Boyer, Robert, et al.
Published: (1998)

A Computational Logic Handbook
by: Moore, J. Strother, et al.
Published: (1988)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Published: (1993)

Theory of computing Proceedings of the 26th Annual ACM symposium on the theory of computing. Montreal, Quebec, Canada, May 23-25, 1994
Published: (1994)

Theory of Computing Procedings of the 30th Annual ACM Conference Dallas, Texas May 23-26, 1998
Published: (1998)

Theory of computing Proceedings of the 18th Annual ACM Symposium Berkeley, California, May 28-30, 1986
Published: (1986)

Theory of Computing Proceedings of the 29th Annual ACM Symposium El Paso. Texas, May 4-6, 1997
Published: (1997)

Theory of computing Proceedings of the 16th Annual ACM Symposium Washington, D.C., April 30-May 2, 1984
Published: (1984)

Theory of Computing Proceedings of the 27th Annual ACM Symposium Las Vegas, Nevada, May 29- June 1, 1995
Published: (1995)

Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
Published: (1986)

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

Modern cellular automata Theory and applications
by: Duff, M. J. B., et al.
Published: (1984)

Principles of computer science
by: Schaffer, Cullen
Published: (1988)

Journal of Scientific Computing
Published: (1986)

Computer algebra with symbolic C++
by: Hardy, Yorick, 1976-
Published: (2008)

Theory of Computing Proceedings of the 28th Annual ACM Symposium Philadelphia, Pennsylvania, May 22-24, 1996
Published: (1996)

Trends in theoretical computer science
Published: (1988)

Σελίδες Υπολογιστών
by: Fitzgerald, G., et al.
Published: (1994)

Elements of the theory of computation
by: Lewis, Harry R., et al.
Published: (1998)

Understanding computers and cognition A new foundation for design
by: Flores, Fernando, et al.
Published: (1988)

Introduction to computer science An algorithmic approach
by: Bunt, Richard B., et al.
Published: (1989)

Computers
by: Taylor, P. J., et al.
Published: (1969)

Introduction to the computer An integrative approach
by: Frates, Jeffrey, et al.
Published: (1980)

Introduction to the computer The tool of business
by: Fuori, William M.
Published: (1973)

Computer science An overview
by: Brokshear, J. G.
Published: (1988)

Fifth generation computers Concepts, implementations and uses
by: Bishop, Peter
Published: (1986)

Temporal logics and their applications
Published: (1987)

Information Representation and Manipulation in a Computer
by: Page, E. S., et al.
Published: (1978)

Computers and computing
by: Morris, J. L. (John Lionel), et al.
Published: (1973)

Theoretical Computer Science
Published: (1975)

Annual Review of Computer Science
Published: (1987)

Annual Review of Computer Science
Published: (1986)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών