Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Hélène Kirchner 18 träffar

Titel Författare År Språk
1-4 Algebraic and logic programming - proceedings (flera utgåvor) cop. 1992 Engelska
5 Trees in algebra and programming - CAAP '96 International Colloquium on Trees in Algebra and Programming 1996) Linköping : cop. 1996 Engelska
6-7 Automated deduction - CADE-15 - proceedings (flera utgåvor) International Conference on Automated Deduction 1998) Lindau : cop. 1998 Engelska
8 Frontiers of combining systems - third international workshop : proceedings International Workshop on Frontiers of Combining Systems 2000) Nancy : cop. 2000 Engelska
9-10 Algebraic methodology and software technology - 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings (flera utgåvor) International Conference on Algebraic Methodology and Software Technology 2002 : Saint-Gilles-les-Bains) cop. 2002 Engelska
11 Rewriting, Computation and Proof electronic resource - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Hubert. Comon-Lundh 2007 Engelska
12 Frontiers of Combining Systems FroCoS 2000 2000 Engelska
13 Frontiers of Combining Systems Helene Kirchner uuuu-uuuu Okänt
14 Algebraic Methodology and Software Technology - 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings International Conference on Algebraic Methodology and Software Technology International Conference on Algebraic Methodology and Software Technology 2002 Engelska
15 Trees in Algebra and Programming — CAAP '96 Hélène Kirchner uuuu-uuuu Okänt
16-17 Algebraic and Logic Programming (flera utgåvor) Hélène Kirchner uuuu-uuuu Okänt
18 Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (Lecture notes in computer science, Festschrift 4600) Hubert Comon-Lundh 2007 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.