Solving higher-order equations From logic to programming

Solving higher-order equations From logic to programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Prehofer, Christian (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston Birkhauser 1998
Θέματα:	ΕΣΑ COMPUTER LOGIC Υπολογιστική

Παρόμοια τεκμήρια

A computational logic handbook
ανά: Boyer, Robert, κ.ά.
Έκδοση: (1998)

A Computational Logic Handbook
ανά: Moore, J. Strother, κ.ά.
Έκδοση: (1988)

Semantics and Logic of Computation

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Optimization and Computational Logic
ανά: McAloon, Ken, κ.ά.
Έκδοση: (1996)

Logic in computer science Modelling and reasoning about systems
ανά: Huth, Michael, 1962-, κ.ά.
Έκδοση: (2000)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

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

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Simulated Annealing and Boltzmann Machines A stochastic approach to cambinatorial optimization and neural computing
ανά: Aarts, E. H. L. (Emile H. L.), κ.ά.
Έκδοση: (1989)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
ανά: Steeb, Willi-Hans
Έκδοση: (2001)

High-order operational techniques in semantics
Έκδοση: (1998)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Discrete Mathematics in Computer Science
ανά: McAllister, David F., κ.ά.
Έκδοση: (1977)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

From logic programming to prolog
Έκδοση: (1997)

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

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