Using sophisticated models in resolution theorem proving

Using sophisticated models in resolution theorem proving

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Sandford, David M. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag 1980
Σειρά:	Lecture notes in computer science 90
Θέματα:	Μαθηματικά > Επεξεργασία δεδομένων

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

Using Toolpack software tools proceedings of the Ispra-course held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986
Έκδοση: (1989)

Self-tutor for computer calculus using mathematica
ανά: Burbulla, D. C. M.
Έκδοση: (1992)

Introduction to MathCAD for scientists and engineers /
ανά: Wieder, Sol
Έκδοση: (1992)

Mathographics /
ανά: Dixon, Robert (Robert A.)
Έκδοση: (1991)

Mathematica by example /
ανά: Abell, Martha L., 1962-
Έκδοση: (1997)

Mathematica : the student book /
ανά: Wolfram, Stephen 1959-
Έκδοση: (1994)

Σύγχρονες υπολογιστικές τεχνικές και εφαρμογές τους με ηλεκτρονικό υπολογιστή
ανά: Ιορδανίδης, Κοσμάς Ιορ
Έκδοση: (1985)

Concrete mathematics : a foundation for computer science /
ανά: Graham, Ronald L., 1935-
Έκδοση: (1989)

Multimedia tools for communicating mathematics
Έκδοση: (2002)

Computational topology an introduction
ανά: Edelsbrunner, Herbert, κ.ά.
Έκδοση: (2010)

Mathematica a system for doing mathematics by computer
ανά: Wolfram, Stephen
Έκδοση: (1991)

Programming in mathematica
ανά: Maeder, Roman E.
Έκδοση: (1991)

Discrete mathematics in computer science
ανά: Stanat, Donald F.
Έκδοση: (1977)

Θεωρία υπολογιστικών μηχανών
ανά: Μητακίδης, Γιώργος
Έκδοση: (1980)

Matrix computations and mathematical software
ανά: Rice, John Rischard
Έκδοση: (1983)

Introduction to computer mathematics /
ανά: Merris, Russell, 1943-
Έκδοση: (1985)

Experimental mathematics with Maple /
ανά: Vivaldi, Franco
Έκδοση: (2001)

Introduction to Maple
ανά: Heck, Andre
Έκδοση: (1993)

Maple V by example
ανά: Abell, Martha L., 1962-
Έκδοση: (1994)

Partial differential equations with Mathematica
ανά: Vvedensky, Dimitri
Έκδοση: (1993)

Implementing discrete mathematics Combinatorics and graph theory with mathematica
ανά: Skiena, Steven
Έκδοση: (1990)

MathTensor a system for doing tensor analysis by computer
ανά: Parker, Leonard
Έκδοση: (1994)

Mechanical geometry theorem proving
ανά: Chou, Shang - Ching
Έκδοση: (1987)

Engineering and scientific computations using MATLAB
ανά: Lyshevski, Sergey Edward
Έκδοση: (2003)

Experiments in mathematics using Maple /
Έκδοση: (1995)

Σύγχρονες υπολογιστικές τεχνικές και εφαρμογές τους με ηλεκτρονικό υπολογιστή.
Έκδοση: (1985)

Αριθμητικές μέθοδοι και εφαρμογές για μηχανικούς : με παραδείγματα στο Matlab /
ανά: Σαρρής, Ιωάννης Ε.
Έκδοση: (2017)

Computer simulation using particles
ανά: Hockney, R. W.
Έκδοση: (1988)

Quantitative models for supply chain management /
Έκδοση: (1999)

Applied numerical methods with personal computers.
Έκδοση: (1987)

Στατιστικά μοντέλα και μέθοδοι ανάλυσης δεδομένων /
Έκδοση: (1999)

The student's introduction to Mathematica a handbook for precalculus, calculus, and linear algebra
ανά: Torrence, Bruce F.
Έκδοση: (2009)

Schaum's outline of theory and problems of essential computer mathematics
ανά: Lipschutz, Seymour
Έκδοση: (1982)

Introduction to Matlab 6 for engineers /
ανά: Palm, William J.
Έκδοση: (2001)

An introduction to the mathematics of biology with computer algebra models
ανά: Yeargers, Edward K.
Έκδοση: (1996)

Computer algebra recipes an advanced guide to scientific modeling
ανά: Enns, Richard H.
Έκδοση: (2007)

Mathematical biology
ανά: Murray, James Dicson
Έκδοση: (2002)

Mathematical biology
ανά: Murray, James D.
Έκδοση: (1989)

Computational conformal geometry
Έκδοση: (2008)

User manual for the interactive goemetry software, Cinderella
ανά: Richter-Gebert, Jurgen
Έκδοση: (2000)

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

Cannot write session to /tmp/vufind_sessions/sess_u5jis6tjhdj52rtru456ci4362