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: Michael Hanus
27 träffar
|
Titel |
Författare |
År |
Språk |
| 21 |
Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 1113, 2013, Revised Selected Papers
|
Michael Hanus
|
2014 |
Okänt |
| 22 |
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
|
Michael Hanus
|
2021 |
Okänt |
| 23 |
Logic-Based Program Synthesis and Transformation
|
Michael Hanus
|
2009 |
Okänt |
| 24 |
Practical Aspects of Declarative Languages: 9Th International Symposium, PADL 2007, Nice, France, January 14-15, 2007 : Proceedings (Lecture notes in computer science, 0302-9743 4354)
|
Michael Hanus
|
2007 |
Okänt |
| 25 |
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
|
|
2023 |
Okänt |
| 26 |
Applications of Declarative Programming and Knowledge Management - 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
|
Dietmar. Seipel
|
2005 |
Engelska |
| 27 |
Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
|
Dietmar. Seipel
|
2009 |
Nederländska |
Förra sidan
1
2
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.