Logic and computation Interactive Proof with Cambridge LCF

Logic and computation Interactive Proof with Cambridge LCF

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Paulson, Lawrence C. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Cambridge Cambridge University Press 1987
Θέματα:	ΕΣΑ DATA PROCESSING

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

Learning LATEX
ανά: GRIFFITHS, DAVID F., κ.ά.
Έκδοση: (1997)

Semantics and Logic of Computation

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

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

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

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

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

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

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

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

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

The Psychology of Proof Deductive Reasoning in Human Thinking
ανά: Rips, Lance J.
Έκδοση: (1994)

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

Executive briefing Advances in concurrency control and transaction processing
ανά: Ramamritham, Krithi
Έκδοση: (1997)

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

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

Concurrent programming in ML
ανά: Reppy, John H.
Έκδοση: (1999)

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

Computational geometry An introduction
ανά: Preparata, Franco P., κ.ά.
Έκδοση: (1985)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

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

Treewidth Computations and Approximations
ανά: Kloks, Ton
Έκδοση: (1994)

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

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

Data architecture The information paradigm
ανά: Inmon, W. H.
Έκδοση: (1989)

Executive's guide to electronic data processing How executives can learn more about the benefits of an EDP system and what steps to take in the selection, installation, and transition from mechanical and manual methods
Έκδοση: (1977)

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

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

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

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

Computers in English Language Teaching and Research Selected papers from the 1984 Lancaster Sumposium "Computers in English Language Education and Research"
Έκδοση: (1986)

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

Research directions in concurrent object-oriented programming
ανά: Agha, Gul
Έκδοση: (1993)

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

outlook 98 in 24 hours SAMS teach yourself
ανά: Nicholson, John R.
Έκδοση: (1998)

Microsoft outlook 98 at a glance
ανά: Nelson, Stephen L.
Έκδοση: (1998)

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

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

Statistical Mechanics
ανά: Huang, Kerson, 1928-
Έκδοση: (1987)

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

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

Cannot write session to /tmp/vufind_sessions/sess_jq9r5gmcgovr4lc6i3a8v33a1t