Skip to contents

Beltzer, Abraham I. [Author]

Variational and finite element methods : a symbolic computation approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1990
Char, Bruce W. [Other]

Maple V

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1991-
Miola, Alfonso [Editor] ; DISCO 1 1990 Capri

Design and implementation of symbolic computation systems : international Symposium DISCO '90 Capri, Italy, April, 10 - 12, 1990; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 429
Grossman, Robert [Editor] ; Workshop on the Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering 1987 Moffett Field, Calif

Symbolic computation : applications to scientific computing ; [the outgrowth of talks at the NASA-Ames Workshop on the Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering, which took place on January 15 and 16, 1987, at the NASA-Ames Research Center in Moffett Field, California]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Philadelphia: Soc. for Industrial and Applied Mathematics, 1989

Published in: Frontiers in applied mathematics ; 5
Anderson, C. Anthony [Other]; Church, Alonzo [Honoree]; Zele͏̈ny, Michael [Other]; Anderson, Curtis Anthony [Editor]

Logic, meaning, and computation : essays in memory of Alonzo Church

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic Publishers, 2001

Published in: Synthese <Dordrecht> / Library ; 30500
Erk, Katrin [Author]; Priese, Lutz [Author]

Theoretische Informatik : eine umfassende Einführung - [3., erw. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: eXamen.press
Schwichtenberg, Helmut [Editor] ; Advanced Study Institute on Logic of Computation 1995 Marktoberdorf

Logic of computation : [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Published in: NATO: NATO ASI series / F ; 157
Schwichtenberg, Helmut [Editor] ; Advanced Study Institute on Proof and Computation 1993 Marktoberdorf

Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: NATO: NATO ASI series / F ; 139
Akama, Seiki [Editor]

Logic, language and computation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic Publishers, 1997

Published in: Applied logic series ; 5
Lalement, René [Author] ; Plaice, John [Other]

Computation as logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Masson [u.a.], 1993

Published in: Prentice Hall international series in computer science
Campbell, John A. [Editor] ; International Conference AISC 5 2000 Madrid

Artificial intelligence and symbolic computation : international conference, Madrid, Spain, July 17 - 19, 2000 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 1930
Buchberger, Bruno [Editor] ; AISC 7 2004 Linz

Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22 - 24,2004; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3249
Calude, Cristian [Editor] ; DMTCS 4 2003 Dijon

Discrete mathematics and theoretical computer science : 4th International Conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2731
Manna, Zohar [Author]

Mathematical theory of computation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: McGraw-Hill, 1974

Published in: McGraw-Hill computer science series
Hodges, Wilfrid [Editor]; de Queiroz, Ruy [Other] ; WoLLIC 15 2008 Edinburgh

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5110
Ono, Hiroakira [Editor]; Kanazawa, Makoto [Other]; de Queiroz, Rui [Other] ; WoLLIC 16 2009 Tokio

Logic, language, information and computation : 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5514
Calmet, Jacques [Editor] ; International Conference AISC 4 1998 Plattsburgh, NY

Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16 - 18, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1476
Calmet, Jacques [Editor] ; AISMC 3 1996 Steyr

Artificial intelligence and symbolic mathematical computation : International Conference, AISMC-3, Steyr, Austria, September 23 - 25, 1996; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1138
Calmet, Jacques [Editor] ; AISC 6 2002 Marseille, Calculemus 10 2002 Marseille

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2385
Plato, Jan von [Author]

The great formal machinery works : theories of deduction and computation at the origins of the digital age

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Princeton; Oxford: Princeton University Press, [2017]

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication