Εξώφυλλο

Κώδικας QR

Deduction Systems /

Κύριος συγγραφέας:	Socher-Ambrosius, Rolf.
Άλλοι συγγραφείς:	Johann, Patricia.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York: Springer, 1996.
Σειρά:	Graduate texts in computer science.
Ταξινομικός αριθμός:	511.3'0285 SO.
Θέματα:	Autimatic Theorem Proving.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Handbook of automated reasoning
Στοιχεία έκδοσης: (2001)

Journal of automated reasoning
Στοιχεία έκδοσης: (1985)

Diagrammatic reasoning: congitive and computational perspectives/
Στοιχεία έκδοσης: (1995)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

Intelligent databases : object-oriented, deductive hypermedia technologies /
από: Parsaye, Kamran.
Στοιχεία έκδοσης: (1989)

Limit theorems of probability theory : sequences of independent random variables /
από: Petrov, Valentin Vladimirovich.
Στοιχεία έκδοσης: (1995)

Normal approximation : new results, methods and problems /
από: Senatov, Vladimir V.
Στοιχεία έκδοσης: (1998)

Rare event simulation using Monte Carlo methods /
Στοιχεία έκδοσης: (2009)

Limit distributions for sums of independent random vectors : heavy tails in theory and practice /
από: Meerschaert, Mark M., 1955-
Στοιχεία έκδοσης: (2001)

Approximation theorems of mathematical statistics /
από: Serfling, R. J.
Στοιχεία έκδοσης: (1980)

Limit theorems for stochastic processes /
από: Jacod, Jean.
Στοιχεία έκδοσης: (2003)

Security technologies for the World Wide Web /
από: Oppliger, Rolf.
Στοιχεία έκδοσης: (2000)

Modern theory of summation of random variables /
από: Zolotarev, V. M.
Στοιχεία έκδοσης: (1997)

Information theory and the central limit theorem /
από: Johnson, Oliver
Στοιχεία έκδοσης: (2006)

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

The Budget on commercial and colonial policy: with an introduction in which the deductive method/
από: Torrens, Robert, 1780-1864.
Στοιχεία έκδοσης: (1970)

Οριακά θεωρήματα/
από: Αμιλήτου, Ελευθερία.
Στοιχεία έκδοσης: (2003)

Constructing systems and information: a process view /
από: Crowe, Malcolm K.
Στοιχεία έκδοσης: (1996)

Multimedia Database Systems: issues and research directions /
Στοιχεία έκδοσης: (1996)

Systems and decision making: a management science approach /
από: Daellenbach, Hans G.
Στοιχεία έκδοσης: (1994)

Linux guide administration's survival guide /
από: Parker, Timothy, 1958-
Στοιχεία έκδοσης: (1996)

Information systems : a management perspective /
από: Alter, Steven.
Στοιχεία έκδοσης: (1996)

The architecture of computer hardware and systems software : an informatioon technology approach /
από: Englander, Irv.
Στοιχεία έκδοσης: (1996)

Frontiers of combining systems: first international workshops, Munich, March 1996 /
Στοιχεία έκδοσης: (1996)

The self-organizing economy /
από: Krugman, Paul R.
Στοιχεία έκδοσης: (1996)

Analysis of observed chaotic data /
από: Abarbanel, H. D. I.
Στοιχεία έκδοσης: (1996)

IEEE communications letters
Στοιχεία έκδοσης: (1996)

Principles of information systems: a managerial approach/
από: Stair, Ralph M.
Στοιχεία έκδοσης: (1996)

Land cover: annual topic update 1997/
από: Bergstrom, Rolf.
Στοιχεία έκδοσης: (1998)

Contemporary cryptography /
από: Oppliger, Rolf.
Στοιχεία έκδοσης: (2005)

Advances in mathematical systems theory/
από: Hammer, Preston C.
Στοιχεία έκδοσης: (1969)

Systems Analysis: a diagnostic approach /
από: Hare, Court van.
Στοιχεία έκδοσης: (1967)

Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery /
από: Weikum, Gerhard.
Στοιχεία έκδοσης: (2002)

Systems analysis and desighn: a structured approach /
από: Davis, William S.
Στοιχεία έκδοσης: (1983)

Process for system architecture and requirments engineering /
από: Hatley, Derek J., 1934-
Στοιχεία έκδοσης: (2000)

Modern systems analysis and design /
από: Hoffer, Jeffrey A.
Στοιχεία έκδοσης: (2005)

Rapid contextual design a how-to guide to key techniques for user-centered design /
από: Holtzblatt, Karen.
Στοιχεία έκδοσης: (2005)

A unified methodology for developing systems /
από: Wallace, Robert H.
Στοιχεία έκδοσης: (1987)

Transactional information systems theory, algorithms, and the practice of concurrency control and recovery /
από: Weikum, Gerhard.
Στοιχεία έκδοσης: (2002)

Soft systems methodology in action /
από: Checkland, Peter.
Στοιχεία έκδοσης: (1990)