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 132 b
53.81 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Catoblepas Christian Mauck / Se-Laika / Livro Capa mole
common.buy 9.49 €
Fastentücher Peter Knüvener / Livro Capa mole
common.buy 42.01 €
L’interruption de la prescription en matière civile Béridot / Livro Capa mole
common.buy 82.82 €
Luminos / Jogo/brinquedo Jogo
common.buy 26.90 €
La bulle de Tiepolo Delerm / Livro Capa mole
common.buy 13.00 €
Principal
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Livro Capa mole
common.buy 7.59 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Livro Capa mole
common.buy 17.20 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Livro Capa mole
common.buy 12.70 €
Deux Mois de Campagne En Italie Durand-Brager-H / Livro Capa mole
common.buy 23.90 €

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

Engaging Theories in Family Communication Dawn O. Braithwaite / Livro Capa mole
common.buy 120.54 €
Personal Recollections of Pardee Butler Rosetta Butler Hastings / Livro Capa mole
common.buy 21.00 €
Precalculus CLEP Test Study Guide PassYourClass / Livro Livro de capa dura
common.buy 57.41 €
Principal
COME TOGETHER NAGOSKI EMILY / Livro Capa mole
common.buy 16.30 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Livro Livro de capa dura
common.buy 38.81 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Livro Capa mole
common.buy 11.69 €
Uptet RPH EDITORIAL BOARD / Livro Capa mole
common.buy 39.71 €
What is Religious Ethics? OH / Livro Livro de capa dura
common.buy 188.27 €
Notes from the Underground Fyodor Dostoyevsky / Livro Capa mole
common.buy 7.39 €
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 40.01 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Livro Livro de capa dura
common.buy 16.50 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Livro Capa mole
common.buy 69.22 €
Mathematical Statistical Mechanics Colin J. Thompson / Livro Livro de capa dura
common.buy 189.17 €
The History Of Coursing - The Waterloo Cup Harding Cox / Livro Capa mole
common.buy 13.60 €
Looking for Lost Bird Yvette D. Melanson / Livro Capa mole
common.buy 13.00 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Livro Livro de capa dura
common.buy 39.71 €
Ant Dens Mary Coley / Livro Capa mole
common.buy 14.40 €
Logistic Regression Using SAS D. Allison Paul / Livro Capa mole
common.buy 67.72 €
Books of James C. Patch Gary D Henry / Livro Capa mole
common.buy 19.90 €
Regional Orders at Century's Dawn Etel Solingen / Livro Capa mole
common.buy 90.53 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Livro Capa mole
common.buy 241.69 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Livro Capa mole
common.buy 37.01 €
Modern-Day Macrobiotics Simon G. Brown / Livro Capa mole
common.buy 15.50 €
Language and Its Normal Processing V.C. Tartter / Livro Livro de capa dura
common.buy 173.76 €

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?