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: International Conference LPAR 4 träffar

Titel Författare År Språk
1 Logic Programming and Automated Reasoning electronic resource : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / edited by Andrei Voronkov International Conference LPAR '92 uuuu-uuuu Okänt
2 Logic Programming and Automated Reasoning electronic resource : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings / edited by Andrei Voronkov International Conference LPAR uuuu-uuuu Okänt
3 Logic Programming and Automated Reasoning International Conference LPAR 1993 Engelska
4 Logic Programming and Automated Reasoning International Conference LPAR '92 1992 Engelska

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.