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

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Proof Theory in Computer Science Reinhard Kahle
Código Libristo: 01563873
Editoras Springer, Berlin, novembro 2000
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Descrição completa
? points 118 b
48.79 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

L’interruption de la prescription en matière civile Béridot / Livro Capa mole
common.buy 77.08 €
Luminos / Jogo/brinquedo Jogo
common.buy 24.54 €
Fastentücher Peter Knüvener / Livro Capa mole
common.buy 37.67 €
Catoblepas Christian Mauck / Se-Laika / Livro Capa mole
common.buy 8.48 €
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Livro Capa mole
common.buy 6.46 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Livro Capa mole
common.buy 15.75 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Livro Capa mole
common.buy 11.91 €

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001.The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.

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 Proof Theory in Computer Science
Autor Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2001
Número de páginas 246
EAN 9783540427520
ISBN 354042752X
Código Libristo 01563873
Editoras Springer, Berlin
Peso 363
Dimensões 155 x 235 x 13

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 > Ciência informática > Inteligência artificial > Aprendizagem mecânica
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
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
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

My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Livro Capa mole
common.buy 10.30 €
Greek Historiography Simon Hornblower / Livro Capa mole
common.buy 80.71 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Livro Capa mole
common.buy 36.97 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Livro Capa mole
common.buy 211.65 €
Regional Orders at Century's Dawn Etel Solingen / Livro Capa mole
common.buy 63.74 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Livro Livro de capa dura
common.buy 36.16 €
Looking for Lost Bird Yvette D. Melanson / Livro Capa mole
common.buy 11.61 €
Uptet RPH EDITORIAL BOARD / Livro Capa mole
common.buy 36.26 €
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Livro Livro de capa dura
common.buy 36.16 €
Engaging Theories in Family Communication Dawn O. Braithwaite / Livro Capa mole
common.buy 110.92 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Livro Livro de capa dura
common.buy 35.35 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Livro Capa mole
common.buy 60.91 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Livro Livro de capa dura
common.buy 14.84 €

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?