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: Gilles Dowek 18 träffar

Titel Författare År Språk
1 Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice Gilles Dowek 2016 Engelska
2 Higher-order algebra, logic, and term rewriting - second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers Logic and Term Rewriting 1996) Paderborn : International Workshop on Higher-Order Algebra 1996 Engelska
3 The age of algorithms Serge Abiteboul 2020 Engelska
4 Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek uuuu-uuuu Okänt
5 Higher-Order Algebra, Logic, and Term Rewriting 1996 Engelska
6 Automated Reasoning electronic resource - 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings Jaime G. Carbonell 2008 Engelska
7 Principles of Programming Languages Gilles. Dowek 2009 Engelska
8 Introduction to the Theory of Programming Languages Gilles. Dowek 2011 Engelska
9 Proofs and Algorithms - An Introduction to Logic and Computability Gilles. Dowek 2011 Engelska
10 Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings Gilles. Dowek 2014 Engelska
11-12 Computation, proof, machine - mathematics enters a new age (flera utgåvor) Gilles. Dowek 2015 Engelska
13 Rewriting and Typed Lambda Calculi Gilles Dowek 2014 Okänt
14 Automated Reasoning Alessandro Armando 2008 Okänt
15 Proofs and Algorithms electronic resource : An Introduction to Logic and Computability / by Gilles Dowek Gilles. author. Dowek uuuu-uuuu Okänt
16 Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) translated from the French by Pierre Guillot and Marion Roman. electronic resource Gilles Dowek uuuu-uuuu Okänt
17 Principles of Programming Languages electronic resource / by Gilles Dowek Gilles. author. Dowek uuuu-uuuu Okänt
18 Introduction to the Theory of Programming Languages electronic resource / by Gilles Dowek, Jean-Jacques Lévy Gilles. author. Dowek uuuu-uuuu 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.