IST Austria Library

Your search returned 12 results.

Not what you expected? Check for suggestions
1.
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

by European Computer Algebra Conference (1983 : London, England) | Hulzen, J. A. van.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.).

by International Symposium DISCO '92 (1992 : Bath, England) | Fitch, John, 1945-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: DISCO '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola (ed.).

by International Symposium DISCO '93 (1993 : Gmunden, Austria) | Miola, A. (Alfonso), 1944- | Johannes Kepler Universität Linz. Forschungsinstitut für Symbolisches Rechnen | Università degli studi di Roma "La Sapienza." Dipartimento di informatica e sistemistica.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: DISCO '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.).

by AISC (Conference) (5th : 2000 : Madrid, Spain) | Campbell, J. A, 1940- | Roanes-Lozano, Eugenio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet.

by European Computer Algebra Conference (1982 : Marseille, France) | Calmet, Jacques.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1982Other title: EUROCAM '82.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by John Fitch.

by International Symposium on Symbolic and Algebraic Computation (3rd : 1984 : Cambridge, England) | Fitch, John, 1945-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng.

by International Symposium on Symbolic and Algebraic Computation (2nd : 1979 : Marseille, France) | Ng, Edward W, 1939-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Other title: EUROSAM '79.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.).

by International Symposium DISCO '90 (1990 : Capri, Italy) | Miola, A. (Alfonso), 1944-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
A mathematical introduction to logic / Herbert B. Enderton.

by Enderton, Herbert B.

Edition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: San Diego : Harcourt/Academic Press, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
The balancing act : combining symbolic and statistical approaches to language / edited by Judith L. Klavans and Philip Resnik.

by Klavans, Judith L | Resnik, Philip | Association for Computational Linguistics (32nd : 1994 : New Mexico State University).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others].

by Allwein, Gerard, 1956- | Barwise, Jon.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Oxford University Press, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Logic Colloquium 2006 / edited by S. Barry Cooper [and others].

by Logic Colloquium (2006 : Nijmegen, Netherlands) | Cooper, S. B. (S. Barry).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha