The Collection of
Computer Science Bibliographies
Bibliography of the technical reports of the Research Institute for Symbolic Computation (RISC)
[ About | Browse | Statistics ]
| Number of references: | 424 | Last update: | October 30, 1998 |
|---|
| Number of online publications: | 0 | Supported: | no |
|---|
| Most recent reference: | 1996 |
| |
|---|
- Author:
- Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
A-4040 Linz
Austria
- Keywords:
-
Abstract Data Types, Algorithm Theory, Applied Mathematics (Analysis etc.), Artificial Intelligence, Automatic Programming, Automated Theorem Proving, CAM, Chemistry, Coding Theory, Combinatorics, Complexity Theory, Computatinoal Geometry, Computer Algebra, Computer Algebra Algorithms (except Gröbner Bases), Computer Algebra Languages, Computer Analysis, Critical Pair Completion, Data Structures, Expert Systems, Functional Programming, Geo Reasoning, Geo Theorem Proving, Graphics, Groebner Bases, Mathematics for Computer Science, Logic Programming, Operations Research, Organisation, Parallel Computation, Politics, Programming, Program Verification, Recursion and Iteration, Robot Programming, Semantics of Programming Languages, Simplification, Software Technology, Symbolic Computation
- Original source:
- Used to be available at
ftp://info.risc.uni-linz.ac.at/pub/reports/
but has disappeared.
- Other sites:
- http://www.risc.uni-linz.ac.at...
(searchable index)
(Format: html)
- Local copy in BibTeX format (32 KB, compressed with gzip)
- Types:
- techreport(424)
- Fields:
- address(424), institution(424), number(424),
title(424), type(424), year(424), author(423),
location(423), descr(341), note(155)
- Distribution of publication dates:
-
