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
24 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
The age of algorithms
|
Serge Abiteboul
|
2020 |
Engelska |
| 2 |
Automated Reasoning
|
Alessandro Armando
|
2008 |
Okänt |
| 3 |
Automated Reasoning electronic resource - 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
|
Jaime G. Carbonell
|
2008 |
Engelska |
| 4 |
Introduction to the Theory of Programming Languages electronic resource / by Gilles Dowek, Jean-Jacques Lévy
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 5 |
Principles of Programming Languages electronic resource / by Gilles Dowek
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 6 |
Proofs and Algorithms electronic resource : An Introduction to Logic and Computability / by Gilles Dowek
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 7-8 |
Computation, proof, machine - mathematics enters a new age
(flera utgåvor)
|
Gilles. Dowek
|
2015 |
Engelska |
| 9 |
Computation, Proof, Machine: Mathematics Enters a New Age
|
Gilles Dowek
|
2015 |
Okänt |
| 10 |
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 |
| 11 |
"Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers"
|
Gilles Dowek
|
1996 |
Okänt |
| 12 |
Introduction to the Theory of Programming Languages
|
Gilles. Dowek
|
2011 |
Engelska |
| 13 |
Introduction to the Theory of Programming Languages
|
Gilles Dowek
|
2011 |
Okänt |
| 14 |
Principles of Programming Languages
|
Gilles. Dowek
|
2009 |
Engelska |
| 15 |
Principles of Programming Languages
|
Gilles Dowek
|
2009 |
Okänt |
| 16 |
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice
|
Gilles Dowek
|
2016 |
Engelska |
| 17 |
Proofs and Algorithms - An Introduction to Logic and Computability
|
Gilles. Dowek
|
2011 |
Engelska |
| 18 |
Proofs and Algorithms
|
Gilles Dowek
|
2011 |
Okänt |
| 19 |
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 |
| 20 |
Higher-Order Algebra, Logic, and Term Rewriting
|
Gilles Dowek
|
uuuu-uuuu |
Okänt |
1
2
Nästa sida
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.