WFRF:(Buchberger A)
Sökning: WFRF:(Buchberger A) > Special issue on sy...
Special issue on symbolic computation in software science
- Bouhoula, A. (författare)
-
- Buchberger, B. (författare)
- Johannes Kepler Universität Linz (JKU),Johannes Kepler University of Linz (JKU)
-
- Kovacs, Laura, 1980 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
- visa fler...
- visa färre...
- (creator_code:org_t)
- Elsevier BV, 2015
- 2015
- Engelska.
- Ingår i: Journal of Symbolic Computation. - : Elsevier BV. - 1095-855X .- 0747-7171. ; 69:1, s. 1-2
- Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
Ämnesord
Stäng
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- art (ämneskategori)
- vet (ämneskategori)
Hitta via bibliotek
- Journal of Symbolic Computation (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Bouhoula, A.
- Buchberger, B.
- Kovacs, Laura, 1 ...
- Kutsia, T.
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- Journal of Symbo ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
