A computational logic handbook

A computational logic handbook

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Boyer, Robert (Συγγραφέας), Moore, J. Strother (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	San Diego Academic Press 1998
Έκδοση:	2nd ed.
Σειρά:	Academic Press International Series in Formal Methods / Micahel G. Hinchey
Θέματα:	ΕΣΑ HANDBOOK Υπολογιστική COMPUTATIONAL LOGIC

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

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

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

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)

Handbook of proof theory
Έκδοση: (1998)

Handbook of Graphs and Networks From the Genome to the Internet
Έκδοση: (2003)

Handbook of Discrete and Combinatorial Mathematics
Έκδοση: (2000)

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

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)

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

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

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

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

Logic systems design handbook
Έκδοση: (1972)

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

Digital/logic electronics handbook
ανά: Hunter, William L.
Έκδοση: (1975)

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

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

Computer performance modeling handbook
Έκδοση: (1983)

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Έκδοση: (1987)

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Έκδοση: (1988)

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

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)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Handbook of theoretical computer science
Έκδοση: (1990)

Quantum computing and communications
Έκδοση: (1999)

RTTY handbook
Έκδοση: (1972)

Communication Complexity and Parallel Computing
ανά: Hromkovic, Juraj
Έκδοση: (1997)

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

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

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

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

Rainbow handbook
Έκδοση: (1983)

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

Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
Έκδοση: (1986)

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

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

Cannot write session to /tmp/vufind_sessions/sess_q59k8rjrt0uh3d2o467j1rmllh