Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Science Logic Zoltán Ésik
Código Libristo: 01564793
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Descrição completa
? points 222 b
91.75 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Mapa Oceanía físico edigol ediciones / Livro Capa mole
common.buy 13.23 €
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Livro Capa mole
common.buy 12.42 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Livro Capa mole
common.buy 15.75 €
Microsoft Office 365 Karel Klatovský / Livro Capa mole
common.buy 8.58 €
Insolvenzrecht Michael App / Livro Capa mole
common.buy 46.07 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Vídeo Blu-ray
common.buy 32.02 €
Gangland Chuck Hogan / Livro Capa mole
common.buy 24.75 €
Aprende a tocar la batería Peter Gelling / Livro Capa mole
common.buy 27.48 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Livro Capa mole
common.buy 17.78 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Livro Capa mole
common.buy 54.96 €
Un árbol caído Rafael Reig / Livro Capa mole
common.buy 9.08 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Livro Capa mole
common.buy 12.12 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Livro Capa mole
common.buy 42.94 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Livro Capa mole
common.buy 27.58 €
Conjuguez sans faute / Livro Capa mole
common.buy 5.55 €
Principal
Tajomstvo úspechu troch majstrov Napoleon Hill / Livro Livro de capa dura
common.buy 13.63 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computer Science Logic
Autor Zoltán Ésik
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 627
EAN 9783540454588
ISBN 3540454586
Código Libristo 01564793
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 961
Dimensões 155 x 235 x 35

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

For Sinners Only A J Russell / Livro Capa mole
common.buy 14.14 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Livro Capa mole
common.buy 14.24 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Livro Capa mole
common.buy 16.46 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Livro Livro de capa dura
common.buy 31.01 €
Mecca F. E. Peters / Livro Capa mole
common.buy 72.24 €
The Law of Executors and Administrators. Samuel Toller / Livro Capa mole
common.buy 26.97 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Livro Livro de capa dura
common.buy 24.75 €
Craven Street Yuri Rasovsky / Audiolivro MP3
common.buy 10.20 €
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 13.53 €
Islam Lovat / Livro Capa mole
common.buy 26.26 €
International Who's Who in Classical Music 2010 Europa Publications / Livro Livro de capa dura
common.buy 357.92 €
Liber Costumarum Christopher Markham / Livro Capa mole
common.buy 13.83 €
Play or Pay. a Novelette. Hawley Smart / Livro Capa mole
common.buy 17.47 €
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Livro Livro de capa dura
common.buy 42.94 €
Chora 5 Alberto Perez-Gomez / Livro Capa mole
common.buy 39.40 €
Questions about God Steven M. Cahn / Livro Livro de capa dura
common.buy 89.02 €
Deleuze's Cinema Books David Deamer / Livro Livro de capa dura
common.buy 104.58 €
Logic Programming with Prolog Beverley Ford / Livro Capa mole
common.buy 46.07 €
Cosmic B1+ Test Book Katerina Mestheneou / Livro Capa mole
common.buy 22.32 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo