Gilles Dowek - Böcker
Visar alla böcker från författaren Gilles Dowek.
11 produkter
11 produkter
Inbunden, Engelska, 2015
1 409 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2015
749 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2010
519 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2011
519 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2020
779 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2020
279 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2009
489 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2014
719 kr
Skickas inom 10-15 vardagar
Del 1074 - Lecture Notes in Computer Science
Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Häftad, Engelska, 1996
719 kr
Skickas inom 10-15 vardagar
Del 1690 - Lecture Notes in Computer Science
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar