Solving higher-order equations From logic to programming

Solving higher-order equations From logic to programming

Bibliographic Details
Main Author:	Prehofer, Christian (Author)
Format:	Book
Language:	English
Published:	Boston Birkhauser 1998
Subjects:	ΕΣΑ COMPUTER LOGIC Υπολογιστική

Similar Items

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

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

Semantics and Logic of Computation

Logic in computer science Modelling and reasoning about systems
by: Huth, Michael, 1962-, et al.
Published: (2000)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Published: (1996)

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

The logic programming paradigm A 25-year perspective
Published: (1999)

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)

Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)

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

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

Logic Programming and Databases
by: Ceri, S., et al.
Published: (1990)

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

Logic for computer science Foundations of automatic theorem proving
by: Gallier, Jean H.
Published: (1987)

Publisher 2000 Get professional results
by: Parker, Roger C.
Published: (2000)

Concurrent programming
by: Snow, C.R
Published: (1992)

Constraint Logic Programming Selected Research
Published: (1993)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

Subrecursive Programming Systems Complexity and Succinctness
by: Case, John, et al.
Published: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Published: (1995)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

Algorithms A functional programming approach
by: Rabhi, Fethi, et al.
Published: (1999)

High-order operational techniques in semantics
Published: (1998)

Computing in Horn Clause Theories
by: Padawitz, Peter
Published: (1988)

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

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

Linear Programming
by: Chvatal, Vasek
Published: (1983)

Logic and computation Interactive Proof with Cambridge LCF
by: Paulson, Lawrence C.
Published: (1987)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

Simulated Annealing and Boltzmann Machines A stochastic approach to cambinatorial optimization and neural computing
by: Aarts, E. H. L. (Emile H. L.), et al.
Published: (1989)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
by: Gramss, Tino
Published: (1998)

Poisson Approximation
by: Barbour, A. D., et al.
Published: (1992)

Verifying temporal properties of systems
by: Bradfield, Julian Charles
Published: (1992)

A Textbook of Graph Theory
by: Balakrishnan, R. (Rangaswami), et al.
Published: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
by: Ball, Bill
Published: (2000)

FrontPage 98 bible
by: Elderbrock, David, et al.
Published: (1998)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

Concurrent Constraint Programming
by: Saraswat, Vijay A.
Published: (1993)

Verification of sequential and concurrent programs
by: Apt, Krzysztof
Published: (1997)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
by: Chien, Andrew A.
Published: (1993)

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