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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
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 263 b
108.73 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Gangland Chuck Hogan / Livro Capa mole
common.buy 28.67 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Vídeo Blu-ray
common.buy 36.88 €
Microsoft Office 365 Karel Klatovský / Livro Capa mole
common.buy 10.43 €
Insolvenzrecht Michael App / Livro Capa mole
common.buy 49.04 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Livro Capa mole
common.buy 18.94 €
Mapa Oceanía físico edigol ediciones / Livro Capa mole
common.buy 14.48 €
Aprende a tocar la batería Peter Gelling / Livro Capa mole
common.buy 31.81 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Livro Capa mole
common.buy 19.65 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Livro Capa mole
common.buy 61.51 €
Un árbol caído Rafael Reig / Livro Capa mole
common.buy 10.12 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Livro Capa mole
common.buy 13.57 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Livro Capa mole
common.buy 47.32 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Livro Capa mole
common.buy 33.13 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Livro Capa mole
common.buy 36.98 €
Conjuguez sans faute / Livro Capa mole
common.buy 6.27 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Livro Livro de capa dura
common.buy 16.61 €

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

Something Happened on the Way to Heaven Sudha Murty / Livro Capa mole
common.buy 11.34 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Livro Capa mole
common.buy 18.43 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Livro Capa mole
common.buy 16.61 €
The Law of Executors and Administrators. Samuel Toller / Livro Capa mole
common.buy 30.09 €
Body Awareness MR Roger Day / Livro Capa mole
common.buy 11.85 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Livro Livro de capa dura
common.buy 36.47 €
Mecca F. E. Peters / Livro Capa mole
common.buy 108.02 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Livro Capa mole
common.buy 11.85 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Livro Livro de capa dura
common.buy 30.60 €
Justice League: Last Ride Miguel Mendonca / Livro Capa mole
common.buy 14.08 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Livro Capa mole
common.buy 12.56 €
Craven Street Yuri Rasovsky / Audiolivro MP3
common.buy 12.25 €
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 6.27 €
Islam Lovat / Livro Capa mole
common.buy 30.29 €
International Who's Who in Classical Music 2010 Europa Publications / Livro Livro de capa dura
common.buy 410.24 €
For Sinners Only A J Russell / Livro Capa mole
common.buy 16.61 €
Liber Costumarum Christopher Markham / Livro Capa mole
common.buy 17.12 €
Play or Pay. a Novelette. Hawley Smart / Livro Capa mole
common.buy 21.48 €
Chora 5 Alberto Perez-Gomez / Livro Capa mole
common.buy 43.47 €
Questions about God Steven M. Cahn / Livro Livro de capa dura
common.buy 102.75 €
Deleuze's Cinema Books David Deamer / Livro Livro de capa dura
common.buy 125.86 €
Cosmic B1+ Test Book Katerina Mestheneou / Livro Capa mole
common.buy 24.72 €
Value Solutions In Cooperative Games Roger A McCain / Livro Livro de capa dura
common.buy 97.79 €
Logic Programming with Prolog Beverley Ford / Livro Capa mole
common.buy 53.40 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?