Toggle navigation
Da Dinamarca desde 2005
USD
AUD
(Australian Dollars)
A$
BRL
(Brazilian real)
R$
CAD
(Canadian Dollars)
CA$
CHF
(Swiss francs)
Fr.
CNY
(Chinese yuan)
元
CZK
(Czech koruny)
Kč
DKK
(Danske kroner)
EUR
(Euro)
€
GBP
(Pounds Sterling)
£
HKD
(Hong Kong dollars)
HK$
HUF
(Hungarian forints)
Ft
ILS
(Israeli shekel)
₪
ISK
(Icelandic kronur)
Íkr
JPY
(Japanese yen)
¥
KRW
(South Korean won)
₩
MXN
(Mexican peso)
Mex$
NOK
(Norwegian kroner)
NOK
NZD
(New Zealand dollars)
PLN
(Polish złotys)
zł
SEK
(Svenske kroner)
SEK
SGD
(Singapore dollars)
S$
TRY
(Turkish lira)
₺
USD
(Dollars)
$
ZAR
(South African rand)
R
Dansk
Deutsch
Deutsch (Switzerland)
English
English (Canada)
English (United Kingdom)
Español
Français
Nederlands
Norsk
Português
Português do Brasil
Suomi
Svenska
Vlaamse (Belgium)
Pesquisar
Pesquisar
Pesquisar
Opções de pesquisa avançada
Atendimento ao cliente
Atendimento ao cliente
Atendimento ao cliente
Perguntas frequentes gerais
Perguntas frequentes sobre vinil
Contato
Cartão Presente
Entrar
Pesquisar
Todos1 Otmane Ait Mohamed lançamentos em Paperback Book
Home
Campaigns
Vinyl
CD's
K-pop
Movies
Merchandise
Home
Home
Campanhas
Vinil
CDs
K-pop
Filmes
Produtos
Pesquisar
Paperback Book
Mostrar itens não disponíveis
Lançamentos por
Otmane Ait Mohamed
30 de julho de 2008
Paperback Book
2008 edition
Theorem Proving in Higher Order ...
(2008)
Otmane Ait Mohamed
$ 69,42
Comprar
![Cover for Otmane Ait Mohamed · Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/653/9783540710653.jpg?otmane-ait-mohamed-2008-theorem-proving-in-higher-order-logics-21st-international-conference-tphols-2008-montreal-canada-august-18-21-2008-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1464566606)