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: André Thayse 7 träffar

Titel Författare År Språk
1 From modal logic to deductive databases - introducing a logic based approach to artificial intelligence Paul Gochet André Thayse cop. 1989 Engelska
2 Discrete and switching functions André Thayse Jean-Pierre Deschamps Marc Davio cop. 1978 Engelska
3 Boolean calculus of differences André Thayse 1981 Engelska
4 P-functions and Boolean matrix factorization - a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms André Thayse 1984 Engelska
5 From natural language processing to logic for expert systems - a logic based approach to artificial intelligence Jean-Louis Binot André Thayse cop. 1991 Engelska
6 From logic design to logic programming - theorem proving techniques and P-functions André Thayse Dominique Snyers cop. 1987 Engelska
7 From standard logic to logic programming - introducing a logic based approach to artificial intelligence Paul Gochet André Thayse cop. 1988 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.